 | | | | |
Bild | | | | Bestellen |
|
|
|
|
Springer Verlag 9783540544449 |
€ 49,99*
pro Stück |
|
|
Fundamentals of Computation Theory (1 Angebot) This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. T... |
Springer Verlag 9783540544586 |
€ 49,99*
pro Stück |
|
|
Category Theory and Computer Science (1 Angebot) The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an impo... |
Springer Verlag 9783540544951 |
€ 49,99*
pro Stück |
|
|
Recent Trends in Data Type Specification (1 Angebot) The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies w... |
Springer Verlag 9783540544968 |
€ 49,99*
pro Stück |
|
|
Software Engineering Education (1 Angebot) The Fifth SEI Conference on Software Engineering was held in Pittsburgh, Pennsylvania, October 7-8, 1991. This annual conference is a forum for discussion of software engineering education and trai... |
Springer Verlag 9783540545026 |
€ 49,99*
pro Stück |
|
|
Fundamentals of Artificial Intelligence Research (1 Angebot) This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at ... |
Springer Verlag 9783540545071 |
€ 49,99*
pro Stück |
|
|
Advances in Cryptology - CRYPTO '90 (1 Angebot) Crypto '90 marked the tenth anniversary of the Crypto conferences held at the University of California at Santa Barbara. The conference was held from August 11 to August 15, 1990 and was sponsored ... |
Springer Verlag 9783540545088 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540545231 |
€ 51,39*
pro Stück |
|
|
Artificial Neural Networks (1 Angebot) Artificial neural networks are massively parallel interconnected networks ofsimple elements which are intended to interact with the objects of the real world in the same way as biological nervous s... |
Springer Verlag 9783540545378 |
€ 49,99*
pro Stück |
|
|
Fault-Tolerant Computing Systems (1 Angebot) Keynote Address.- Responsive Systems: A Marriage Between Real Time and Fault Tolerance.- Reconfiguration and Recovery.- Self-Diagnosis, Reconfiguration and Recovery in the Dynamical Reconfigurable ... |
Springer Verlag 9783540545453 |
€ 99,99*
pro Stück |
|
|
GWAI-91 15. Fachtagung für Künstliche Intelligenz (1 Angebot) 1. Deduktion.- Generalized Earley Deduction and Its Correctness.- A Completeness Proof Technique for Resolution with Equality.- Answer for Disjunctive Logic Programs.- Zur Steuerung und Optimierung... |
Springer Verlag 9783540545583 |
€ 51,39*
pro Stück |
|
|
Methodologies for Intelligent Systems (1 Angebot) This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The sym... |
Springer Verlag 9783540545637 |
€ 99,99*
pro Stück |
|
|
Nonmonotonic and Inductive Logic (1 Angebot) This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The w... |
Springer Verlag 9783540545644 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540545675 |
€ 51,39*
pro Stück |
|
|
Attribute Grammars, Applications and Systems (1 Angebot) Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed ... |
Springer Verlag 9783540545729 |
€ 49,99*
pro Stück |
|
|
