Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
Save for later
The New Hacker's Dictionary
by ES Raymond
ISBN 13: 9780262680929
Format: Paperback (547 pages) Publisher: MIT Press Published: 29 Nov 1996 Other Format: Paperback
Privacy Enhancing Technologies: 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings: 5134 (Lecture Notes in Computer Science)
by Nikita Borisov
ISBN 13: 9783540706298
Format: Paperback (252 pages) Publisher: Springer Published: 14 Jul 2008
Database Archiving: How to Keep Lots of Data for a Very Long Time (The MK/OMG Press)
by Jack E. Olson
ISBN 13: 9780123747204
Format: Paperback (312 pages) Publisher: Morgan Kaufmann Published: 19 Nov 2008
Enterprise Knowledge Infrastructures
by Ronald Maier,Thomas Hädrich,René Peinl
ISBN 13: 9783540897675
Format: Illustrated (460 pages) Publisher: Springer Published: 02 Mar 2009
Algorithmic Aspects of Wireless Sensor Networks: 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers: 5804 (Lecture Notes in Computer Science)
by Shlomi Dolev
ISBN 13: 9783642054334
Format: Paperback (276 pages) Publisher: Springer Published: 26 Oct 2009
DNS on Windows Server 2003
by Cricket Liu,Matt Larson,Robbie Allen
ISBN 13: 9780596005627
Format: Illustrated (418 pages) Publisher: O'Reilly Media Published: 17 Dec 2003
Elements of Information Theory
by Thomas M. Cover,Joy A. Thomas
ISBN 13: 9780471241959
Format: Hardcover (784 pages) Publisher: Wiley-Interscience Published: 08 Sep 2006
Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, ... 553 (Lecture Notes in Computer Science)
by Hanspeter Bieri, Hartmut Noltemeier
ISBN 13: 9783540548911
Format: Paperback (320 pages) Publisher: Springer Published: 13 Nov 1991
Toward Artificial Sapience: Principles and Methods for Wise Systems
by Rene V. Mayorga,Leonid Perlovsky
ISBN 13: 9781846289989
Format: Illustrated (260 pages) Publisher: Springer Published: 06 Dec 2007
Network Control and Engineering for QOS, Security and Mobility: Ifip 19th World Computer Congress,Tc-6, 5th Ifip International Conference on Network ... in Information and Communication Technology)
by Dominique Gaiti
ISBN 13: 9780387348254
Format: Illustrated (244 pages) Publisher: Springer Published: 16 Aug 2006
Data Warehouse Design: Modern Principles and Methodologies (DATABASE & ERP - OMG)
by Matteo Golfarelli,Stefano Rizzi
ISBN 13: 9780071610391
Format: Illustrated (480 pages) Publisher: McGraw Hill Published: 16 Jul 2009