Buy Used and New Information Systems Books

Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics)

by Jaap van Oosten

ISBN 13: 9780444515841

Format: Hardcover (328 pages)
Publisher: Elsevier Science
Published: 06 Mar 2008

Save for later

The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma

by B. Jack Copeland,B. Jack Copeland

ISBN 13: 9780198250807

Format: Illustrated (622 pages)
Publisher: Oxford University Press, USA
Published: 18 Nov 2004

Save for later

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

by Anupam Chattopadhyay,Rainer Leupers,Heinrich Meyr

ISBN 13: 9781402092961

Format: Hardcover (216 pages)
Publisher: Springer
Published: 10 Dec 2008

Save for later

Computers: The Life Story of a Technology (Greenwood Technographies)

by Eric Swedin,David Ferro

ISBN 13: 9780313331497

Format: Illustrated (192 pages)
Publisher: Greenwood
Published: 30 Apr 2005

Save for later

Insights Into Mobile Multimedia Communications (Signal Processing and its Applications)

by David R. Bull Professor,C. Nishan Canagarajah,Andrew R. Nix

ISBN 13: 9780121403102

Format: Illustrated (682 pages)
Publisher: Morgan Kaufmann
Published: 08 Oct 1998

Save for later

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman

ISBN 13: 9780444520128

Format: Illustrated (640 pages)
Publisher: Elsevier Science
Published: 09 Jun 2009

Save for later

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

by W. Bibel, P.H. Schmitt

ISBN 13: 9780792351306

Format: Hardcover (448 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover, Illustrated

Save for later

Analysis, Control and Optimization of Complex Dynamic Systems (Gerad 25th Anniversary)

by El-Kébir Boukas,Roland P. Malhamé

ISBN 13: 9780387254753

Format: Illustrated (272 pages)
Publisher: Springer
Published: 19 May 2005

Save for later

The Natural History of the Long Expedition to the Rocky Mountains (1819-1820)

by Howard Ensign Evans

ISBN 13: 9780195111859

Format: Paperback (288 pages)
Publisher: Oxford University Press
Published: 01 Jun 1997

Save for later

Introduction to Information Retrieval

by Christopher D. Manning,Prabhakar Raghavan,Hinrich Schütze

ISBN 13: 9780521865715

Format: Illustrated (506 pages)
Publisher: Cambridge University Press
Published: 07 Jul 2008

Save for later

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)

by Nancy A. Lynch

ISBN 13: 9781558603486

Format: Hardcover (904 pages)
Publisher: Morgan Kaufmann
Published: 16 Apr 1996

Save for later

Web Reasoning and Rule Systems: Third International Conference, R.R. 2009, Chantilly, VA, U.S.A. October 25-26, 2009, Proceedings: 5837 (Lecture Notes in Computer Science)

by Axel Polleres

ISBN 13: 9783642050817

Format: Paperback (280 pages)
Publisher: Springer
Published: 15 Oct 2009

Save for later