- 5 Résultats
prix le plus bas: € 44,47, prix le plus élevé: € 53,49, prix moyen: € 49,45
1
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Alexandre V. Zamulin
Commander
sur ZVAB.com
€ 52,46
Envoi: € 0,001
CommanderLien sponsorisé
Alexandre V. Zamulin:

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…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Perspectives of Systems Informatics - Alexandre V. Zamulin
Commander
sur booklooker.de
€ 53,49
Envoi: € 2,701
CommanderLien sponsorisé

Alexandre V. Zamulin:

Perspectives of Systems Informatics - Livres de poche

2013, ISBN: 9783540208136

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of Sy… Plus…

Frais d'envoiVersand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
3
Perspectives of Systems Informatics - Broy, Manfred|Zamulin, Alexandre V.
Commander
sur AbeBooks.de
€ 48,37
Envoi: € 0,001
CommanderLien sponsorisé
Broy, Manfred|Zamulin, Alexandre V.:
Perspectives of Systems Informatics - Livres de poche

2004

ISBN: 3540208135

[EAN: 9783540208136], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK PROCESSING DATABASE DISTRIBUTEDSYSTEMS LOGIC MODELCHECKING PROGRAMMING VERIFICATION EDV DISTRIBUTED SYSTEMS MOD… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
4
Perspectives of Systems Informatics - Broy, Manfred Zamulin, Alexandre V.
Commander
sur booklooker.de
€ 48,45
Envoi: € 0,001
CommanderLien sponsorisé
Broy, Manfred Zamulin, Alexandre V.:
Perspectives of Systems Informatics - Première édition

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…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Commander
sur Biblio.co.uk
$ 48,13
(environ € 44,47)
Envoi: € 17,831
CommanderLien sponsorisé
Broy, Manfred [Editor]; Zamulin, Alexandre V. [Editor];:
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…

Frais d'envoi EUR 17.83 GuthrieBooks

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

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...