Buy Used and New Architecture & Logic Books

Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)

by Andrea Toselli, Olof Widlund

ISBN 13: 9783540206965

Format: Hardcover (350 pages)
Publisher: Springer
Published: 18 Oct 2004

Save for later

The SIM Guide to Enterprise Architecture

by Leon Kappelman

ISBN 13: 9781439811139

Format: Illustrated (330 pages)
Publisher: CRC Press
Published: 27 Oct 2009

Save for later

Modern Logic: A Text in Elementary Symbolic Logic

by Graeme Forbes

ISBN 13: 9780195080292

Format: Paperback (416 pages)
Publisher: OUP USA
Published: 07 Apr 1994

Save for later

A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa

by Michel Schellekens

ISBN 13: 9780387733838

Format: Hardcover (272 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)

by Gheorghe Paun

ISBN 13: 9783642114663

Format: Illustrated (500 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

by Anupam Datta

ISBN 13: 9783642106217

Format: Paperback (159 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Logic Functions and Equations: Examples and Exercises

by Bernd Steinbach,Christian Posthoff

ISBN 13: 9781402095948

Format: Hardcover (254 pages)
Publisher: Springer
Published: 12 Feb 2009

Save for later

Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)

by Steven S. Skiena, Miguel A. Revilla

ISBN 13: 9780387001630

Format: Paperback (368 pages)
Publisher: Springer
Published: 14 May 2003

Save for later

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later