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… Plus…
BarnesandNoble.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings - nouveau livre
2000, ISBN: 3540671021
2000 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerp… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei 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… Plus…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2000, ISBN: 9783540671022
Livres de poche
[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.… Plus…
booklooker.de |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings - Livres de poche
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 - nouveau livre
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… Plus…
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 - nouveau livre2000, ISBN: 3540671021
2000 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerp… Plus…
2000
ISBN: 3540671021
[EAN: 9783540671022], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KÜNSTLICHE KI - AI PROGRAMMIERSPRACHEN CONSTRAINT ARTIFICIALIN… Plus…
2000, ISBN: 9783540671022
Livres de poche
[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.… Plus…
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings - Livres de poche
ISBN: 9783540671022
Springer Verlag, 2000. Paperback. New. 1st edition. 540 pages. 9.50x6.25x1.25 inches., Springer Verlag, 2000, 6
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - 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
Version reliée
Livre de poche
Date de parution: 2000
Editeur: Springer Berlin Heidelberg Core >1
540 Pages
Poids: 0,836 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-05-05T20:34:47+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-04-06T09:44:54+02:00 (Zurich)
ISBN/EAN: 9783540671022
ISBN - Autres types d'écriture:
3-540-67102-1, 978-3-540-67102-2
Autres types d'écriture et termes associés:
Auteur du livre: alexandre, pasetti, manfred broy, loon, zamulin, dines
Titre du livre: 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
Données de l'éditeur
Auteur: Dines Bjørner; Manfred Broy; Alexandre V. Zamulin
Titre: 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
Editeur: Springer; Springer Berlin
540 Pages
Date de parution: 2000-01-26
Berlin; Heidelberg; DE
Langue: Anglais
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
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...