Buy Used and New Architecture & Logic Books

Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)

by Walters

ISBN 13: 9780521422260

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 27 Aug 1992

Save for later

Applications of Geometric Algebra in Computer Science and Engineering

by

ISBN 13: 9780817642679

Format: Hardcover (478 pages)
Publisher: Birkhauser
Published: 01 Mar 2002

Save for later

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540251088

Format: Paperback (684 pages)
Publisher: Springer
Published: 04 Mar 2005

Save for later

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540851691

Format: Paperback (488 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)

by Alexander Barkalov,Larysa Titarenko

ISBN 13: 9783540692836

Format: Hardcover (288 pages)
Publisher: Springer
Published: 14 Aug 2008

Save for later

Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540896739

Format: Paperback (406 pages)
Publisher: Springer
Published: 24 Nov 2008

Save for later

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540465591

Format: Paperback (462 pages)
Publisher: Springer
Published: 27 Sep 2006

Save for later

Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783540729006

Format: Paperback (219 pages)
Publisher: Springer
Published: 31 May 2007

Save for later