 | | | | |
Bild | | | | Bestellen |
|
|
|
Learning Language in Logic (1 Angebot) This volume has its origins in the ?rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after the Ninth International Workshop on Inductive ... |
Springer Verlag 9783540411451 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540411550 |
€ 35,50*
pro Stück |
|
|
Advances in Robot Learning (1 Angebot) Map Building through Self-Organisation for Robot Navigation.- Learning a Navigation Task in Changing Environments by Multi-task Reinforcement Learning.- Toward Seamless Transfer from Simulated to R... |
Springer Verlag 9783540411628 |
€ 49,99*
pro Stück |
|
|
Hacker Contest (1 Angebot) Die Sicherheit einer IT-Komponente hängt meist direkt von einer oder mehreren anderen Komponenten ab, wobei diese Abhängigkeiten komplex und schwer erfassbar sind. In diesem Buch wird das Thema Sic... |
Springer Verlag 9783540411642 |
€ 51,39*
pro Stück |
|
|
Generative and Component-Based Software Engineering (1 Angebot) In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group \Generative an... |
Springer Verlag 9783540411727 |
€ 49,99*
pro Stück |
|
|
Advances in Visual Information Systems (1 Angebot) Presently, in our world, visual information dominates. The turn of the millenium marks the age of visual information systems. Enabled by picture sensors of all kinds turning digital, visual informa... |
Springer Verlag 9783540411772 |
€ 99,99*
pro Stück |
|
|
Graph-Theoretic Concepts in Computer Science (1 Angebot) The 26th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2000) was held at Waldhaus Jakob, in Konstanz, Germany, on 15{ 17 June 2000. It was organized by the Algorithms a... |
Springer Verlag 9783540411833 |
€ 49,99*
pro Stück |
|
|
Advances in Information Systems (1 Angebot) This volume contains the proceedings of the First International Conference on Advances in Information Systems (ADVIS) held in Izmir (Turkey), 25{27 October, 2000. This conference was dedicated to t... |
Springer Verlag 9783540411840 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540411857 |
€ 49,99*
pro Stück |
|
|
Integrated Formal Methods (1 Angebot) Invited Talk.- Assertions.- Linking and Extending Notations.- State-Based Extension of CASL.- Linking DC Together with TRSL.- Formalizing Timing Diagrams as Causal Dependencies for Verification Pur... |
Springer Verlag 9783540411963 |
€ 49,99*
pro Stück |
|
|
Autonome Mobile Systeme 2000 (1 Angebot) Kamerabasierte Navigation.- Erzeugung eines gemeinsamen Koordinatensystems für eine Gruppe von Robotern auf der Basis von Bildverarbeitung.- Bildverarbeitungsstrategien zur Koordination von Sehen u... |
Springer Verlag 9783540412144 |
€ 130,83*
pro Stück |
|
|
Petri Nets for Systems Engineering (1 Angebot) Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to ill... |
Springer Verlag 9783540412175 |
€ 99,99*
pro Stück |
|
|
Algorithmic Learning Theory (1 Angebot) INVITED LECTURES.- Extracting Information from the Web for Concept Learning and Collaborative Filtering.- The Divide-and-Conquer Manifesto.- Sequential Sampling Techniques for Algorithmic Learning ... |
Springer Verlag 9783540412373 |
€ 49,99*
pro Stück |
|
|
Dokumentenmanagementsysteme (1 Angebot) Dokumentenmanagementprojekte sind ganzheitliche Projekte. Organisatorische, technische und menschliche Faktoren entscheiden über Erfolg oder Mißerfolg. Das DMS-Handbuch hilft frühzeitig Fehler zu e... |
Springer Verlag 9783540412502 |
€ 70,08*
pro Stück |
|
|
Algorithms and Computation (1 Angebot) The papers in this volume were selected for presentation at the Eleventh Annual International Symposium on Algorithms and Computation (ISAAC 2000), held on 18{20 December, 2000 at the Institute of ... |
Springer Verlag 9783540412557 |
€ 99,99*
pro Stück |
|
|
