Selected Papers on Analysis of Algorithms (Center for the Study of Language and Information Publication Lecture Notes)
by Donald E. Knuth
ISBN 13: 9781575862125
Format: Paperback (540 pages) Publisher: Cambridge University Press Published: 29 May 2000
Save for later
Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence
by Pamela McCorduck
ISBN 13: 9781568812052
Format: Paperback (600 pages) Publisher: A K Peters/CRC Press Published: 17 Mar 2004
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540894384
Format: Paperback (728 pages) Publisher: Springer Published: 13 Nov 2008
Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)
by Hermann Kopetz
ISBN 13: 9781441982360
Format: Hardcover (394 pages) Publisher: Springer Published: 20 Apr 2011
Debugging at the Electronic System Level
by Frank Rogin,Rolf Drechsler
ISBN 13: 9789048192540
Format: Hardcover (218 pages) Publisher: Springer Published: 05 Jul 2010
The Steiner Tree Problem: A Tour Through Graphs, Algorithms and Complexity (Advanced Lectures in Mathematics)
by Hans-Jurgen Promel,Angelika Steger,Hans-Juergen Proemel
ISBN 13: 9783528067625
Format: Paperback (241 pages) Publisher: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Published: Aug 1996
Multimedia Multiprocessor Systems: Analysis, Design and Management (Embedded Systems)
by Akash Kumar,Henk Corporaal,Bart Mesman,Yajun Ha
ISBN 13: 9789400700826
Format: Hardcover (179 pages) Publisher: Springer Published: 23 Sep 2010
Oracle Fusion Middleware 11g Architecture and Management (Osborne Oracle Press Series)
by Reza Shafii,Stephen Lee,Gangadhar Konduri
ISBN 13: 9780071754170
Format: Paperback (560 pages) Publisher: McGraw-Hill Osborne Published: 01 Jul 2011
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa
ISBN 13: 9780857290175
Format: Paperback (320 pages) Publisher: Springer Published: 07 Jan 2011
Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540851691
Format: Paperback (488 pages) Publisher: Springer Published: 30 Jul 2008
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005