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
Save for later
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
High Performance Computing - HiPC 2008: 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings: 5374 (Lecture Notes in Computer Science)
by Ponnuswamy Sadayappan
ISBN 13: 9783540898931
Format: Paperback (624 pages) Publisher: Springer Published: 23 Nov 2008
Thinking: Readings in Cognitive Science
by P. N. Johnson-Laird
ISBN 13: 9780521292672
Format: Paperback (632 pages) Publisher: Cambridge University Press Published: 15 Dec 1977
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
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science/Lecture Notes in Bioinformatics): 5054
by Jasmin Fisher
ISBN 13: 9783540684107
Format: Paperback (156 pages) Publisher: Springer Published: 26 Jun 2008
Art of Computer Programming, The: Fundamental Algorithms, Volume 1 (Kluwer International Series in)
by Donald Knuth
ISBN 13: 9780201896831
Format: Illustrated (672 pages) Publisher: Addison-Wesley Professional Published: 14 Aug 1997
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008