Buy Used and New Architecture & Logic Books

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)

by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque

ISBN 13: 9783642117961

Format: Paperback (163 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

ISBN 13: 9783540883869

Format: Paperback (430 pages)
Publisher: Springer
Published: 06 Oct 2008

Save for later

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)

by Olivier Bournez,Igor Potapov

ISBN 13: 9783642044199

Format: Paperback (244 pages)
Publisher: Springer
Published: 07 Sep 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

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

Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science Series)

by Michael Alexander, William Gardner

ISBN 13: 9781420064865

Format: Hardcover (440 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Dec 2008

Save for later

Fundamentals of Performance Evaluation of Computer and Telecommunication Systems

by Mohammed S. Obaidat,Noureddine A. Boudriga

ISBN 13: 9780471269830

Format: Hardcover (480 pages)
Publisher: Wiley-Interscience
Published: 04 Mar 2010

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

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)

by Andrea Toselli, Olof Widlund

ISBN 13: 9783540206965

Format: Hardcover (350 pages)
Publisher: Springer
Published: 18 Oct 2004

Save for later

The SIM Guide to Enterprise Architecture

by Leon Kappelman

ISBN 13: 9781439811139

Format: Illustrated (330 pages)
Publisher: CRC Press
Published: 27 Oct 2009

Save for later