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

An Introduction to the Analysis of Algorithms

by SOLTYS MICHAEL

ISBN 13: 9789814271400

Format: Illustrated (150 pages)
Publisher: World Scientific Publishing Company
Published: 14 Dec 2009

Save for later

Correct Systems: Building a Business Process Solution (Applied Computing)

by Mike Holcombe, Florentin Ipate

ISBN 13: 9783540762461

Format: Paperback (206 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Sep 1998

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)

by Rastislav Kralovic,Damian Niwinski

ISBN 13: 9783642038150

Format: Illustrated (780 pages)
Publisher: Springer
Published: 06 Aug 2009

Save for later

Practical SGML

by Eric van Herwijnen

ISBN 13: 9780792394341

Format: Illustrated (312 pages)
Publisher: Springer
Published: 30 Apr 1994

Save for later

Handbook of Technology in Financial Services 1999

by Jessica Keyes

ISBN 13: 9780849399817

Format: Hardcover (752 pages)
Publisher: Auerbach Publications
Published: 18 Dec 1998

Save for later

PC Mod Projects: Cool It! Light It! Morph It! (One-off)

by Edward Chen,Carl Mixon,Grace Punska,Philip Mansfield

ISBN 13: 9780072230116

Format: Illustrated (304 pages)
Publisher: McGraw-Hill/OsborneMedia
Published: 13 Aug 2003

Save for later

Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)

by Poramate Manoonpong

ISBN 13: 9783540688020

Format: Hardcover (188 pages)
Publisher: Springer
Published: 15 May 2007

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