Buy Used and New Architecture & Logic Books

Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642192104

Format: Paperback (234 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Universal Access in Human-Computer Interaction. Design for All and eInclusion: 6th International Conference, UAHCI 2011, Held as Part of HCI ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642216718

Format: Paperback (577 pages)
Publisher: Springer
Published: 24 Jun 2011
Other Format: Paperback

Save for later

Advances in Information Technology and Education: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I (Communications in Computer and Information Science)

by

ISBN 13: 9783642224171

Format: Paperback (626 pages)
Publisher: Springer
Published: 30 Jun 2011

Save for later

Artificial Neural Networks and Machine Learning - ICANN 2011: 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, ... Computer Science and General Issues)

by

ISBN 13: 9783642217371

Format: Paperback (496 pages)
Publisher: Springer
Published: 14 Jun 2011

Save for later

Evolutionary Computation in Combinatorial Optimization: 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642203633

Format: Paperback (277 pages)
Publisher: Springer
Published: 19 Apr 2011

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

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

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

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)

by Martin Wirsing, Alexander Knapp, Simonetta Balsamo

ISBN 13: 9783540211792

Format: Paperback (359 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later

The Designer's Guide to VHDL (Systems on Silicon): Volume 3

by Peter J. Ashenden

ISBN 13: 9780120887859

Format: Illustrated (936 pages)
Publisher: Morgan Kaufmann
Published: 01 Jul 2008

Save for later

Rapid Prototyping of Digital Systems: Sopc Edition

by J. O. Hamblen,T. S. Hall,M. D. Furman

ISBN 13: 9780387726700

Format: Illustrated (432 pages)
Publisher: Springer
Published: 31 Oct 2007

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