Buy Used and New Architecture & Logic Books

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

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

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

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

Three-dimensional Integrated Circuit Design (Systems on Silicon)

by Vasilis F. Pavlidis

ISBN 13: 9780123743435

Format: Illustrated (326 pages)
Publisher: Morgan Kaufmann
Published: 06 Nov 2008

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

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

Advanced Parallel Processing Technologies: 6th International Workshop, APPT 2005, Hong kong, China, October 27-28, 2005, Proceedings: 5th ... 4002 (Lecture Notes in Computer Science)

by Ming Xu,Jiannong Cao,Wolfgang Nejdl

ISBN 13: 9783540354673

Format: Paperback (544 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642192364

Format: Paperback (179 pages)
Publisher: Springer
Published: 10 Feb 2011

Save for later

Artificial Intelligence and Computational Intelligence: Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642238956

Format: Paperback (695 pages)
Publisher: Springer
Published: 09 Sep 2011

Save for later