Buy Used and New Software Design, Testing & Engineering Books

Conceptual Modelling in Information Systems Engineering

by

ISBN 13: 9783540726760

Format: Hardcover (356 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning: Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540779476

Format: Paperback (255 pages)
Publisher: Springer
Published: 08 Feb 2008

Save for later

RoboCup 2006: Robot Soccer World Cup X: No. 10 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540740230

Format: Paperback (566 pages)
Publisher: Springer
Published: 14 Aug 2007

Save for later

Embedded and Ubiquitous Computing: International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540366799

Format: Paperback (1170 pages)
Publisher: Springer
Published: 18 Jul 2006

Save for later

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540789284

Format: Paperback (680 pages)
Publisher: Springer
Published: 03 Apr 2008

Save for later

Peer-to-Peer Systems and Applications (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540291923

Format: Paperback (646 pages)
Publisher: Springer
Published: 29 Sep 2005

Save for later

End User Development (Human-Computer Interaction Series)

by

ISBN 13: 9781402042201

Format: Hardcover (492 pages)
Publisher: Springer
Published: 18 May 2006
Other Format: Paperback

Save for later

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540779643

Format: Paperback (267 pages)
Publisher: Springer
Published: 01 Feb 2008

Save for later

Security and Dependability for Ambient Intelligence (Advances in Information Security)

by

ISBN 13: 9780387887746

Format: Hardcover (401 pages)
Publisher: Springer
Published: 09 Jun 2009

Save for later

Nonmonotonic Reasoning: Logical Foundations of Commonsense: 12 (Cambridge Tracts in Theoretical Computer Science, Series Number 12)

by Gerhard Brewka

ISBN 13: 9780521383943

Format: Hardcover (184 pages)
Publisher: Cambridge University Press
Published: 25 Jan 1991

Save for later