Buy Used and New Architecture & Logic Books

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming

by Tom Addis,Jan Addis

ISBN 13: 9781848826175

Format: Paperback (416 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Integrating ISA Server 2006 with Microsoft Exchange 2007

by Fergus Strachan

ISBN 13: 9781597492751

Format: Paperback (376 pages)
Publisher: Syngress
Published: 17 Jul 2008

Save for later

Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

by

ISBN 13: 9781439806265

Format: Hardcover (460 pages)
Publisher: CRC Press
Published: 17 Jun 2011

Save for later

Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, ... Computer Science and General Issues)

by

ISBN 13: 9783642210891

Format: Paperback (668 pages)
Publisher: Springer
Published: 10 May 2011

Save for later

Foundations on Natural and Artificial Computation: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, ... Computer Science and General Issues)

by

ISBN 13: 9783642213434

Format: Paperback (591 pages)
Publisher: Springer
Published: 20 May 2011

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

Discrete Structures with Contemporary Applications

by Alexander Stanoyevitch

ISBN 13: 9781439817681

Format: Hardcover (1002 pages)
Publisher: Chapman and Hall/CRC
Published: 25 Jan 2011

Save for later