Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
(9783642699641 / biography)
Usability
Regulated Rewriting in Formal Language Theory
(9783642749346 / 4 black & white tables, biography)
Nonsequential Processes: A Petri Net View
Springer Berlin Heidelberg (9783642734854 / biography) | Nonsequential Processes, Fernandez C
Logic, Algebra, and Computation: International Summer School
(9783642768019 / biography)
Computational Visualization: Graphics, Abstraction and Interactivity
(9783642641497 / 11 black & white tables, biography) | Computational Visualization
Diagram Design: A Constructive Theory
Springer Berlin Heidelberg (9783642642470 / biography) | Diagram Design
Usability of Speech Dialog Systems: Listening to the Target Audience
(9783642097027 / 14 black & white illustrations, 12 black)
Immunity-Based Systems: A Design Perspective
Springer Berlin Heidelberg (9783642056611 / 14 black & white tables, biography)
Hybrid Learning: 5th International Conference, ICHL 2012, Guangzhou, China, August 13-15, 2012, Proceedings
Springer-Verlag GmbH (9783642320170 / 89 black & white illustrations, biograph) | Hybrid Learning
Agents and Peer-to-Peer Computing
Springer-Verlag GmbH (9783642318085 / 48 black & white illustrations, biograph) | Agents and Peer-to-Peer Computing, Domenico Beneventano
Resource-Adaptive Cognitive Processes
Springer Berlin Heidelberg (9783642262586 / 79 black & white illustrations, 72 colou) | Resource-Adaptive Cognitive Processes
Pattern Recognition: 31st DAGM Symposium, Jena, Germany, September 9-11, 2009, Proceedings
(9783642037979 / biography)
Advances in Artificial Intelligence: 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, ... Notes in Computer Science, Band 9091)
Springer-Verlag GmbH (9783319183558 / 98 black & white illustrations, biograph) | Artificial Intelligence
Verification of Digital and Hybrid Systems
(9783642640520 / 5 black & white tables, biography)
Kolmogorov Complexity and Computational Complexity
Springer Berlin Heidelberg (9783642777370 / biography)
Large Scale Collaborative Virtual Environments
Springer London (9781447112228 / 19302081) | Large Scale Collaborative Virtual
MICAI 2002: Advances in Artificial Intelligence: Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April ... Notes in Computer Science, Band 2313)
Springer Berlin Heidelberg (9783540434757 / 1) | Artificial Intelligence
Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings
Springer Berlin Heidelberg (9783540442110 / Illustrations) | Algorithms in Bioinformatics
Languages and Compilers for Parallel Computing: 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings
Springer Berlin Heidelberg (9783540630913 / Illustrations)
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings
(9783540724575 / 1) | And Knowledge Technology
Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings
(9783540230977 / Illustrations) | Artificial Immune Systems
Advances in Web-Based Learning -- ICWL 2003: Second International Conference, Melbourne, Australia, August 18-20, 2003, Proceedings
(9783540407720 / Illustrations) | Web-Based Learning
Parallel Computing Technologies: 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings
Springer Berlin Heidelberg (9783540406730 / Illustrations) | Parallel Computing Technologies
Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing
Springer Berlin Heidelberg (9783540423638 / Illustrations) | Computational Architectures Based
Computational Learning Theory: 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational ... Notes in Computer Science, 2111, Band 2111)
Springer Berlin Heidelberg (9783540423430 / 7031363) | Computational Learning Theory, On Computational
Theory and Practical Issues on Cellular Automata: Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe, 4-6 October 2000
Springer London (9781852333881 / biography) | On Cellular Automata
CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Springer Berlin Heidelberg (9783540572084 / 1)
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Springer Berlin Heidelberg (9783540583295 / 1) | Concurrency Theory
Entity-Relationship Approach - ER '93: 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, ...
Springer Berlin Heidelberg (9783540582175 / 6902974)
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
Springer Berlin Heidelberg (9783540568636 / 1)
4.098 Produkte