Buy Used and New Software Design, Testing & Engineering Books

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

by T. F. Melham

ISBN 13: 9780521417181

Format: Hardcover (179 pages)
Publisher: Cambridge University Press
Published: 11 Nov 1993

Save for later

Illustrating Pascal

by Donald G. Alcock

ISBN 13: 9780521336956

Format: Illustrated (196 pages)
Publisher: Cambridge University Press
Published: 03 Sep 1987

Save for later

Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)

by Sartaj Sahni, Vladimir A. Dobrushkin

ISBN 13: 9781420068290

Format: Hardcover (824 pages)
Publisher: Chapman & Hall
Published: 03 Nov 2009

Save for later

Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers: 5442 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642032776

Format: Paperback (253 pages)
Publisher: Springer
Published: 28 Jul 2009

Save for later

Database and Expert Systems Applications: 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009, Proceedings: 5690 ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642035722

Format: Paperback (865 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

Agents and Data Mining Interaction: 4th International Workshop on Agents and Data Mining Interaction, ADMI 2009, Budapest, Hungary, May 10-15,2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642036026

Format: Paperback (200 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering)

by

ISBN 13: 9783642041662

Format: Paperback (299 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642042041

Format: Paperback (376 pages)
Publisher: Springer
Published: 03 Sep 2009

Save for later

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 ... / Programming and Software Engineering)

by

ISBN 13: 9783642042430

Format: Paperback (844 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Smart Sensing and Context: 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings (Lecture Notes in Computer Science ... Networks and Telecommunications)

by

ISBN 13: 9783642044700

Format: Paperback (219 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Progress in Artificial Intelligence: 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642046858

Format: Paperback (686 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later

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