Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Livres de poche
2004, ISBN: 3540208135
[EAN: 9783540208136], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; PROCESSING; DATABASE; DISTRIBUTEDSYSTEMS; LOGIC; MODELCHECKING; PROGRAMMING; VERIFICATION, Druck au… Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2013, ISBN: 9783540208136
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of Sy… Plus…
booklooker.de |
2004, ISBN: 3540208135
[EAN: 9783540208136], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK PROCESSING DATABASE DISTRIBUTEDSYSTEMS LOGIC MODELCHECKING PROGRAMMING VERIFICATION EDV DISTRIBUTED SYSTEMS MOD… Plus…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2004, ISBN: 9783540208136
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. Programming Issues.- The … Plus…
booklooker.de |
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science) - Livres de poche
2003, ISBN: 9783540208136
Springer, 2004-03-05. Paperback. Very Good. 9x6x1. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmark… Plus…
Biblio.co.uk |
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Livres de poche
2004, ISBN: 3540208135
[EAN: 9783540208136], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; PROCESSING; DATABASE; DISTRIBUTEDSYSTEMS; LOGIC; MODELCHECKING; PROGRAMMING; VERIFICATION, Druck au… Plus…
2013, ISBN: 9783540208136
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of Sy… Plus…
2004
ISBN: 3540208135
[EAN: 9783540208136], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK PROCESSING DATABASE DISTRIBUTEDSYSTEMS LOGIC MODELCHECKING PROGRAMMING VERIFICATION EDV DISTRIBUTED SYSTEMS MOD… Plus…
2004, ISBN: 9783540208136
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. Programming Issues.- The … Plus…
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science) - Livres de poche
2003, ISBN: 9783540208136
Springer, 2004-03-05. Paperback. Very Good. 9x6x1. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmark… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters
EAN (ISBN-13): 9783540208136
ISBN (ISBN-10): 3540208135
Version reliée
Livre de poche
Date de parution: 2004
Editeur: Manfred Broy
600 Pages
Poids: 0,894 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-04-17T00:50:55+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-01-30T16:27:32+01:00 (Paris)
ISBN/EAN: 9783540208136
ISBN - Autres types d'écriture:
3-540-20813-5, 978-3-540-20813-6
Autres types d'écriture et termes associés:
Auteur du livre: manfred broy, zamulin, alexandre
Titre du livre: psi, perspectives systems informatics, xii international conference, novosibirsk, lecture notes computer science, russia, computer perspective, memorial, mémorial
Données de l'éditeur
Auteur: Manfred Broy; Alexandre V. Zamulin
Titre: Lecture Notes in Computer Science; Perspectives of Systems Informatics - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Editeur: Springer; Springer Berlin
572 Pages
Date de parution: 2004-01-13
Berlin; Heidelberg; DE
Poids: 1,830 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 572 p.
BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Processing; database; distributed systems; logic; model checking; programming; verification; Logics and Meanings of Programs; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Theory of Computation; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Compilers and Interpreters; Computerprogrammierung und Softwareentwicklung; Software Engineering; Compiler und Übersetzer; EA
Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Types for Cashflow Reengineering.- Storing Properties in Grouped Tagged Tuples.- A Polymorphic Radix-n Framework for Fast Fourier Transforms.- Intersecting Classes and Prototypes.- Software Engineering.- Bending without Breaking: Making Software More Flexible.- Program Construction in the Context of Evolutionary Computation.- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development.- Software Education.- The Outside-In Method of Teaching Introductory Programming.- Program Synthesis, Transformation, and Semantics.- Numeric Types in Formal Synthesis.- On the Possibility of Provably Secure Obfuscating Programs.- Verification-Oriented Language C-Light and Its Structural Operational Semantics.- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.- Graphical Interfaces.- On the Visualization and Aesthetics of Large Graphs.- Data Mappings in the Model-View-Controller Pattern.- Partial Evaluation and Supercompilation.- The Translation Power of the Futamura Projections.- A Compiler Generator for Constraint Logic Programs.- The Supercompiler SCP4: General Structure.- Partial Evaluation for Common Intermediate Language.- Verification.- Timed Verification with ?CRL.- Verification of Distributed Dataspace Architectures.- Using SPIN and STeP to Verify Business Processes Specifications.- Integrating Tools for Automatic Program Verification.- Logic and Types.- A Logical Reconstruction of Reachability.- Recent Advances in ?-Definability over Continuous Data Types.- Concurrent and Distributed Systems.- Open Maps and Trace Semantics for Timed Partial Order Models.- Confidentiality for Multithreaded Programs via Bisimulation.- Dynamic Modification of System Structures Using LLPNs.- Concurrent and Reactive Systems.- Principles for Entity Authentication.- Causality and Replication in Concurrent Processes.- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.- Teams of Pushdown Automata.- Program Specification.- Algebraic State Machines: Concepts and Applications to Security.- Combining Aspects of Reactive Systems.- OCL Extended with Temporal Logic.- The Definition of Transitive Closure with OCL – Limitations and Applications –.- Verification and Model Checking.- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.- Polynomial Approximations for Model Checking.- Constraint Programming.- Separating Search and Strategy in Solver Cooperations.- Industrial Application of External Black-Box Functions in Constraint Programming Solver.- LGS: Geometric Constraint Solver.- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method.- Documentation and Testing.- PROG — A New Program Documentation System.- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.- Test Case Generation for UML Statecharts.- Databases.- Conceptual Content Modeling and Management.- A Relational Algebra for Functional Logic Deductive Databases.- Implication of Functional Dependencies for Recursive Queries.- TeXOR: Temporal XML Database on an Object-Relational Database System.- Functional Dependencies, from Relational to XML.- Data-Object Replication, Distribution, and Mobility in Network Environments.- Natural Language Processing.- Multi-classification of Patent Applications with Winnow.- Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses.- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)
< pour archiver...