- 5 Ergebnisse
Kleinster Preis: € 44,47, größter Preis: € 53,49, Mittelwert: € 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
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Alexandre V. Zamulin:

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Taschenbuch

2004, ISBN: 3540208135

[EAN: 9783540208136], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; PROCESSING; DATABASE; DISTRIBUTEDSYSTEMS; LOGIC; MODELCHECKING; PROGRAMMING; VERIFICATION, Druck au… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Perspectives of Systems Informatics - Alexandre V. Zamulin
Bestellen
bei booklooker.de
€ 53,49
Versand: € 2,701
Bestellen
Details beim Anbieter
gesponserter Link

Alexandre V. Zamulin:

Perspectives of Systems Informatics - Taschenbuch

2013, ISBN: 9783540208136

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

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
zuklappen (X)
3
Perspectives of Systems Informatics - Broy, Manfred|Zamulin, Alexandre V.
Bestellen
bei AbeBooks.de
€ 48,37
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Broy, Manfred|Zamulin, Alexandre V.:
Perspectives of Systems Informatics - Taschenbuch

2004

ISBN: 3540208135

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
4
Perspectives of Systems Informatics - Broy, Manfred Zamulin, Alexandre V.
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Broy, Manfred Zamulin, Alexandre V.:
Perspectives of Systems Informatics - Erstausgabe

2004, ISBN: 9783540208136

Taschenbuch

[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 … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 48,13
(ca. € 44,47)
Versand: € 17,831
Bestellen
Details beim Anbieter
gesponserter Link
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) - Taschenbuch

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… Mehr…

Versandkosten: EUR 17.83 GuthrieBooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters
Autor:
Titel:
ISBN-Nummer:

9783540208136


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.

Detailangaben zum Buch - Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters


EAN (ISBN-13): 9783540208136
ISBN (ISBN-10): 3540208135
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Manfred Broy
600 Seiten
Gewicht: 0,894 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-17T00:50:55+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-30T16:27:32+01:00 (Berlin)
ISBN/EAN: 9783540208136

ISBN - alternative Schreibweisen:
3-540-20813-5, 978-3-540-20813-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: manfred broy, zamulin, alexandre
Titel des Buches: psi, perspectives systems informatics, xii international conference, novosibirsk, lecture notes computer science, russia, computer perspective, memorial, mémorial

Daten vom Verlag:

Autor/in: Manfred Broy; Alexandre V. Zamulin
Titel: 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
Verlag: Springer; Springer Berlin
572 Seiten
Erscheinungsjahr: 2004-01-13
Berlin; Heidelberg; DE
Gewicht: 1,830 kg
Sprache: Englisch
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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)

< zum Archiv...