Buy Used and New Information Systems Books

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

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

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