Buy Used and New Architecture & Logic Books

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

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

Principles of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9781848820319

Format: Illustrated (171 pages)
Publisher: Springer
Published: 13 Mar 2009

Save for later

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

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

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (Lecture Notes in Computer Science)

by David Kaeli

ISBN 13: 9783540937982

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

Save for later

Transactions on Computational Science VII: 5890 (Lecture Notes in Computer Science)

by C. J. Kenneth Tan

ISBN 13: 9783642113888

Format: Paperback (184 pages)
Publisher: Springer
Published: 15 Feb 2010

Save for later