Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science)
by Richard Lai,Ajin Jirachiefpattana
ISBN 13: 9780792382843
Format: Illustrated (332 pages) Publisher: Springer Published: 30 Sep 1998
Save for later
Concrete Mathematics: A Foundation for Computer Science
by Donald E. Knuth, Ronald L. Graham, Oren Patashnik
ISBN 13: 9780201558029
Format: Hardcover (672 pages) Publisher: Addison Wesley Published: 28 Feb 1994
Advances in Knowledge Acquisition: 9th European Knowledge Acquisition Workshop, EKAW'96, Nottingham, UK, May 14 - 17, 1996. Proceedings: 1076 (Lecture Notes in Computer Science)
by Kieron O'Hara,Nigel Shadbolt,Guus Schreiber
ISBN 13: 9783540612735
Format: Paperback (392 pages) Publisher: Springer Published: 13 Jun 2008
Smart Card Security and Applications (Communications Management Library)
by Mike Hendry,Jon Prideaux
ISBN 13: 9780890069530
Format: Illustrated (308 pages) Publisher: Artech House Publishers Published: 01 Sep 1997
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 2009, Proceedings: 11th International ... (Lecture Notes in Computer Science)
by Terrance Swift, Andy Gill
ISBN 13: 9783540929949
Format: Paperback (285 pages) Publisher: Springer Published: 18 Dec 2008
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth: 5393 (Lecture Notes in Computer Science)
by Jacques Calmet,Willi Geiselmann,Jörn Müller-Quade
ISBN 13: 9783540899938
Format: Paperback (208 pages) Publisher: Springer Berlin Heidelberg Published: 09 Dec 2008
Innovation Together: Microsoft Research Asia Academic Research Collaboration
by Lolan Song
ISBN 13: 9780387878607
Format: Hardcover (222 pages) Publisher: Springer Published: 03 Nov 2008
GeoSensor Networks: Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers: 4540 (Lecture Notes in Computer Science)
by Silvia Nittel
ISBN 13: 9783540799955
Format: Paperback (284 pages) Publisher: Springer Published: 04 Aug 2008
Idempotency: 11 (Publications of the Newton Institute, Series Number 11)
by John M. Taylor, Michael Atiyah, Jeremy Gunawardena
ISBN 13: 9780521553445
Format: Hardcover (456 pages) Publisher: Cambridge University Press Published: 13 Jan 1998
Advances in Information Retrieval: 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings (Lecture Notes in Computer Science)
by Giovanni Romano, Giambattista Amati, Claudio Carpineto
ISBN 13: 9783540714941
Format: Paperback (759 pages) Publisher: Springer Published: 19 Mar 2007
One Jump Ahead: Computer Perfection at Checkers
by Jonathan Schaeffer
ISBN 13: 9780387765754
Format: Illustrated (605 pages) Publisher: Springer Published: 28 Nov 2008
Hardware-dependent Software: Principles and Practice
by Wolfgang Ecker, Wolfgang Müller, Rainer Dömer
ISBN 13: 9781402094354
Format: Hardcover (316 pages) Publisher: Springer Published: 30 Jan 2009