Theoretische Informatik: Eine Kompakte Einfuhrung: Eine kompakte Einführung (Springer-Lehrbuch)
by Klaus W Wagner
ISBN 13: 9783540013136
Format: Paperback (227 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 11 Aug 2003
Save for later
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540755586
Format: Paperback (562 pages) Publisher: Springer Published: 08 Oct 2007
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
ISBN 13: 9783540003885
Format: Paperback (396 pages) Publisher: Springer Published: 13 Dec 2002
Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211518
Format: Hardcover (796 pages) Publisher: Springer Published: 09 Mar 2006 Other Format: Hardcover
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning: Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540779476
Format: Paperback (255 pages) Publisher: Springer Published: 08 Feb 2008
The Grid 2: Blueprint for a New Computing Infrastructure (The Elsevier Series in Grid Computing)
ISBN 13: 9781558609334
Format: Hardcover (748 pages) Publisher: Morgan Kaufmann Published: 02 Dec 2003
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783540489283
Format: Paperback (203 pages) Publisher: Springer Published: 03 Nov 2006
Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540465591
Format: Paperback (462 pages) Publisher: Springer Published: 27 Sep 2006
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540729006
Format: Paperback (219 pages) Publisher: Springer Published: 31 May 2007
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540789284
Format: Paperback (680 pages) Publisher: Springer Published: 03 Apr 2008
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540786092
Format: Paperback (344 pages) Publisher: Springer Published: 18 Mar 2008
Pattern Calculus: Computing with Functions and Structures
by Barry Jay
ISBN 13: 9783540891840
Format: Hardcover (230 pages) Publisher: Springer Published: 12 Aug 2009