Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
by
ISBN 13: 9783540517221
Format: Paperback (350 pages) Publisher: Springer Published: 11 Oct 1989
Save for later
Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540514985
Format: Paperback (504 pages) Publisher: Springer Published: 31 Jul 1989
Prozessautomatisierung 2: Modellierungskonzepte Und Automatisierungsverfahren Softwarewerkzeuge F R Den Automatisierungsingenieur Vorgehensweise in ... bei der Realisierung von Echtzeitsystemen
by Rudolf Lauber,Peter Gvhner,Peter Gahner,Peter Gohner,Peter G Hner
ISBN 13: 9783540653196
Format: Paperback (520 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Oct 1999
Data Warehousing Und Data Mining: Eine Einfuhrung in Entscheidungsunterstutzende Systeme: Eine Einführung in entscheidungsunterstützende Systeme (Springer-Lehrbuch)
by Markus Lusti
ISBN 13: 9783540426776
Format: Paperback (444 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 13 Feb 2006
Intelligent Agents: Specification, Modeling, and Application: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540424345
Format: Paperback (237 pages) Publisher: Springer Published: 18 Jul 2001
BANTAM User Guide: Biometric and Token Technology Application Modeling Language
by Julian Ashbourn
ISBN 13: 9781852335137
Format: Paperback (160 pages) Publisher: Springer Published: 17 Oct 2001
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006: 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540447078
Format: Paperback (987 pages) Publisher: Springer Published: 21 Sep 2006
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)
ISBN 13: 9781402035319
Format: Paperback (404 pages) Publisher: Springer Published: 15 Jul 2005
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)
by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
ISBN 13: 9783540719403
Format: Paperback (797 pages) Publisher: Springer Published: 20 Jul 2007
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540210443
Format: Paperback (323 pages) Publisher: Springer Published: 10 Feb 2004
Practical Aspects of Knowledge Management: 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540240884
Format: Paperback (524 pages) Publisher: Springer Published: 01 Dec 2004
The Computer Engineering Handbook (Electrical Engineering Handbook)
ISBN 13: 9780849386008
Format: Hardcover (1648 pages) Publisher: CRC Press Published: 25 Jan 2008