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

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

Multi-Agent-Based Simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642183447

Format: Paperback (177 pages)
Publisher: Springer
Published: 14 Jan 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

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Computer Science and General Issues)

by

ISBN 13: 9783540454588

Format: Paperback (639 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540279921

Format: Paperback (648 pages)
Publisher: Springer
Published: 18 Jul 2005

Save for later

Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540278283

Format: Paperback (328 pages)
Publisher: Springer
Published: 19 Jul 2005

Save for later

Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures (Lecture Notes in Computer Science)

by

ISBN 13: 9783540005292

Format: Paperback (268 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later