Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Save for later
Informatics in Control, Automation and Robotics: Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2007: 24 (Lecture Notes in Electrical Engineering)
by Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier
ISBN 13: 9783540856399
Format: Paperback (316 pages) Publisher: Springer Published: 10 Oct 2008
Transactions on Computational Systems Biology IX (Lecture Notes in Computer Science/Transactions on Computational Systems Biology): 5121
by Corrado Priami
ISBN 13: 9783540887645
Format: Illustrated (164 pages) Publisher: Springer Published: 23 Oct 2008
Network Control and Optimization: First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings: 4465 (Lecture Notes in Computer Science)
by Tijani Chahed
ISBN 13: 9783540727088
Format: Illustrated (324 pages) Publisher: Springer Published: 11 Jul 2007
Negotiation, Auctions, and Market Engineering: International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers (Lecture Notes in Business Information Processing)
by Henner Gimpel,Nicolas R. Jennings,Gregory E. Kersten,Axel Ockenfels,Christof Weinhardt
ISBN 13: 9783540775539
Format: Paperback (248 pages) Publisher: Springer Published: 23 Jan 2008
Microcomputer Algorithms: Action from Algebra
by John Killingbeck
ISBN 13: 9780750300971
Format: Illustrated (252 pages) Publisher: Routledge Published: 01 Jan 1991
Handbook of Applied Cryptography (Discrete Mathematics and Its Applications)
by Alfred J. Menezes,Paul C. van Oorschot,Scott A. Vanstone,Scott A. Vanstone
ISBN 13: 9780849385230
Format: Illustrated (810 pages) Publisher: CRC Press Published: 16 Oct 1996
The Component-Based Business: Plug and Play (Practitioner Series)
by Richard Veryard
ISBN 13: 9781852333614
Format: Illustrated (240 pages) Publisher: Springer Published: 11 Dec 2000
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)
by Sartaj Sahni, Vladimir A. Dobrushkin
ISBN 13: 9781420068290
Format: Hardcover (824 pages) Publisher: Chapman & Hall Published: 03 Nov 2009
Living with the Chip
by T. Makimoto,D. Manners
ISBN 13: 9780412616907
Format: Paperback (224 pages) Publisher: Springer Published: 30 Nov 1994
The Cult of Information: A Neo-Luddite Treatise on High-Tech, Artificial Intelligence, and the True Art of Thinking
by Theodore Roszak
ISBN 13: 9780520085848
Format: Paperback (318 pages) Publisher: University of California Press Published: 13 May 1994