ISBN: 9783540671022
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 19… Altro …
BarnesandNoble.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings - nuovo libro
2000, ISBN: 3540671021
2000 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerp… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 3540671021
[EAN: 9783540671022], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KÜNSTLICHE KI - AI PROGRAMMIERSPRACHEN CONSTRAINT ARTIFICIALIN… Altro …
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
2000, ISBN: 9783540671022
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic Specifications.… Altro …
booklooker.de |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings - edizione con copertina flessibile
ISBN: 9783540671022
Springer Verlag, 2000. Paperback. New. 1st edition. 540 pages. 9.50x6.25x1.25 inches., Springer Verlag, 2000, 6
Biblio.co.uk |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 - nuovo libro
ISBN: 9783540671022
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 19… Altro …
Bjørner, Dines (Herausgeber); Zamulin, Alexandre V. (Herausgeber); Broy, Manfred (Herausgeber):
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings - nuovo libro2000, ISBN: 3540671021
2000 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerp… Altro …
2000
ISBN: 3540671021
[EAN: 9783540671022], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KÜNSTLICHE KI - AI PROGRAMMIERSPRACHEN CONSTRAINT ARTIFICIALIN… Altro …
2000, ISBN: 9783540671022
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic Specifications.… Altro …
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings - edizione con copertina flessibile
ISBN: 9783540671022
Springer Verlag, 2000. Paperback. New. 1st edition. 540 pages. 9.50x6.25x1.25 inches., Springer Verlag, 2000, 6
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
EAN (ISBN-13): 9783540671022
ISBN (ISBN-10): 3540671021
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2000
Editore: Springer Berlin Heidelberg Core >1
540 Pagine
Peso: 0,836 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-05-05T20:34:47+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-06T09:44:54+02:00 (Zurich)
ISBN/EAN: 9783540671022
ISBN - Stili di scrittura alternativi:
3-540-67102-1, 978-3-540-67102-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : alexandre, pasetti, manfred broy, loon, zamulin, dines
Titolo del libro: perspectives systems informatics, july july, 1999, russia, memorial, psi, novosibirsk, conference proceedings, third international conference, ruß, computer perspective, rus, stratosphere, mémorial, lecture notes computer science
Dati dell'editore
Autore: Dines Bjørner; Manfred Broy; Alexandre V. Zamulin
Titolo: Lecture Notes in Computer Science; Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Editore: Springer; Springer Berlin
540 Pagine
Anno di pubblicazione: 2000-01-26
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 540 p. 179 illus., 3 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Constraint; artificial intelligence; intelligence; logic; model checking; object-oriented programming; programming; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Artificial Intelligence; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; Künstliche Intelligenz; EA
Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.- Algebraic Imperative Specifications.- Enhanced Control Flow Graphs in Montages.- Abstract State Machines for the Composition of Architectural Styles.- Partial Evaluation and Supercompilation.- The Essence of Program Transformation by Partial Evaluation and Driving.- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.- Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification.- Sonic Partial Deduction.- On Perfect Supercompilation.- Linear Time Self-Interpretation of the Pure Lambda Calculus.- An Optimal Algorithm for Purging Regular Schemes.- Polymorphism in OBJ-P.- Concurrency and Parallelism.- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.- Serializability Preserving Extensions of Concurrency Control Protocols.- Platform Independent Approach for Detecting Shared Memory Parallelism.- Hierarchical Cause-Effect Structures.- Some Decidability Results for Nested Petri Nets.- Abstract Structures for Communication between Processes.- Logic and Processes.- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.- On Semantics and Correctness of Reactive Rule-Based Programs.- Compositional Verification of CCS Processes.- Compositional Style of Programming FPGAs.- Languages and Software.- Using Experiments to Build a Body of Knowledge.- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results.- Extensions: A Technique for Structuring Functional-Logic Programs.- Language Tools and Programming Systems inEducational Informatics.- Database Programming.- Current Directions in Hyper-Programming.- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.- A General Object-Oriented Model for Spatial Data.- Object-Oriented Programming.- Twin — A Design Pattern for Modeling Multiple Inheritance.- A Partial Semantics for Object Data Models with Static Binding.- Heterogeneous, Nested STL Containers in C++.- Data Flow Analysis of Java Programs in the Presence of Exceptions.- Late Adaptation of Method Invocation Semantics.- Constraint Programming.- A Control Language for Designing Constraint Solvers.- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.- Constraint Programming Techniques for Solving Problems on Graphs.- Extensional Set Library for ECLiPSe.- Model & Program Checking.- Introducing Mutual Exclusion in Esterel.- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.- Formal Verification of a Compiler Back-End Generic Checker Program.- Construction of Verified Compiler Front-Ends with Program-Checking.- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Natural Communication with Robots.- Approach to Development of a System for Speech Interaction with an Intelligent Robot.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for SignLanguages.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages.Includes supplementary material: sn.pub/extras
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)
- 9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)
- 9783540708810 Perspectives of Systems Informatics (Irina Virbitskaite; Andrei Voronkov)
- 9783642114861 Perspectives of Systems Informatics (Springer)
- 9783642114854 Perspectives of Systems Informatics (Amir Pnueli; Irina Virbitskaite; Andrei Voronkov)
- 9783540208136 Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters (Manfred Broy & Alexandre V. Zamulin)
< Per archiviare...