Buy Used and New Architecture & Logic Books

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey

ISBN 13: 9781852336400

Format: Illustrated (420 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg

ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)

by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski

ISBN 13: 9783642049200

Format: Illustrated (648 pages)
Publisher: Springer Berlin Heidelberg
Published: 15 Oct 2009

Save for later

System-on-Chip Test Architectures: Nanometer Design for Testability: Volume . (Systems on Silicon)

by Laung-Terng Wang

ISBN 13: 9780123739735

Format: Illustrated (896 pages)
Publisher: Morgan Kaufmann
Published: 08 Jan 2008

Save for later

Circuit and Interconnect Design for RF and High Bit-rate Applications (Analog Circuits and Signal Processing)

by Veenstra

ISBN 13: 9781402068829

Format: Hardcover (260 pages)
Publisher: Springer
Published: 03 Jul 2008

Save for later

Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)

by Nitin Indurkhya,Fred J. Damerau

ISBN 13: 9781420085921

Format: Illustrated (702 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Feb 2010

Save for later

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185322

Format: Hardcover (528 pages)
Publisher: Wiley-Interscience
Published: 18 Jul 2008

Save for later

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783540430759

Format: Paperback (548 pages)
Publisher: Springer
Published: 14 Dec 2001
Other Format: Paperback

Save for later

Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540754138

Format: Paperback (291 pages)
Publisher: Springer
Published: 14 Dec 2007

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by

ISBN 13: 9783540741060

Format: Hardcover (624 pages)
Publisher: Springer
Published: 07 Dec 2007

Save for later