Buy Used and New Architecture & Logic Books

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

Theory and Design of Digital Computer Systems

by Douglas Lewin

ISBN 13: 9780412428807

Format: Paperback (512 pages)
Publisher: Springer
Published: Nov 1992

Save for later

Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)

by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara

ISBN 13: 9783642048494

Format: Paperback (304 pages)
Publisher: Springer
Published: 06 Oct 2009

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

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

Building Web Applications with C# and .NET: A Complete Reference

by Dudley W. Gill

ISBN 13: 9780849312502

Format: Illustrated (760 pages)
Publisher: CRC Press
Published: 02 Dec 2002

Save for later

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)

by Andre Seznec

ISBN 13: 9783540929895

Format: Paperback (436 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

ARM System-on-Chip Architecture (2nd Edition)

by Prof Steve Furber

ISBN 13: 9780201675191

Format: Paperback (432 pages)
Publisher: Addison Wesley
Published: 17 Aug 2000

Save for later

Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540797203

Format: Paperback (765 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later