Buy Used and New Software Design, Testing & Engineering Books

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642049118

Format: Paperback (176 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642049460

Format: Paperback (358 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Ubiquitous User Modelling: Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642050381

Format: Paperback (159 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, pindleruv Mlýn, ... Computer Science and General Issues)

by

ISBN 13: 9783642112652

Format: Paperback (780 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

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

Save for later

Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642130939

Format: Paperback (548 pages)
Publisher: Springer
Published: 20 May 2010

Save for later

Recent Trends in Networks and Communications: International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010,Chennai, India, July 23-25, 2010. ... in Computer and Information Science)

by

ISBN 13: 9783642144929

Format: Paperback (725 pages)
Publisher: Springer
Published: 07 Jul 2010

Save for later

Business Process Modelling with ARIS: A Practical Guide

by Rob Davis

ISBN 13: 9781852334345

Format: Illustrated (550 pages)
Publisher: Springer
Published: 09 Apr 2001

Save for later

Multimedia Introduction to Programming Using Java

by David Gries,Paul Gries

ISBN 13: 9780387226811

Format: Illustrated (556 pages)
Publisher: Springer
Published: 09 Sep 2004

Save for later

Lines and Curves: A Practical Geometry Handbook

by Victor Gutenmacher,N.B. Vasilyev

ISBN 13: 9780817641610

Format: Paperback (158 pages)
Publisher: Birkhauser
Published: 27 Aug 2004

Save for later

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Trusted Computing: Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783642005862

Format: Paperback (265 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later