Buy Used and New Architecture & Logic Books

Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers: 4940 (Lecture Notes in Computer Science)

by Jan Gulliksen

ISBN 13: 9783540926979

Format: Illustrated (656 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Hardware Software Co-Design of a Multimedia SOC Platform

by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu

ISBN 13: 9781402096228

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

Save for later

Multi-Agent Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

by Pieter J. Mosterman, Adelinde M. Uhrmacher, Danny Weyns

ISBN 13: 9781420070231

Format: Hardcover (566 pages)
Publisher: CRC Press
Published: 03 Jun 2009

Save for later

Pipelined ADC Design and Enhancement Techniques (Analog Circuits and Signal Processing)

by Imran Ahmed

ISBN 13: 9789048186518

Format: Hardcover (240 pages)
Publisher: Springer
Published: 19 Mar 2010

Save for later

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

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

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979: No. 70 (Lecture Notes in Computer Science)

by G. Kahn

ISBN 13: 9783540095118

Format: Paperback (380 pages)
Publisher: Springer
Published: 01 Jun 1979

Save for later

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397 (Lecture Notes in Computer Science)

by Matteo Baldoni

ISBN 13: 9783540939191

Format: Paperback (264 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings

by Michael Leuschel, Heike Wehrheim

ISBN 13: 9783642002540

Format: Paperback (367 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)

by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu

ISBN 13: 9783642048425

Format: Paperback (554 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later