Buy Used and New Software Design, Testing & Engineering Books

Formal Models of Operating System Kernels

by Iain D. Craig

ISBN 13: 9781846283758

Format: Hardcover (338 pages)
Publisher: Springer
Published: 13 Dec 2006

Save for later

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783540326045

Format: Paperback (275 pages)
Publisher: Springer
Published: 06 Apr 2006

Save for later

Advanced Data Mining and Applications: Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007 Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540738701

Format: Paperback (634 pages)
Publisher: Springer
Published: 17 Jul 2007

Save for later

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540774419

Format: Paperback (333 pages)
Publisher: Springer
Published: 18 Dec 2007

Save for later

Designing Software for the Mobile Context: A Practitioner's Guide (Computer Communications and Networks)

by

ISBN 13: 9781852337858

Format: Paperback (152 pages)
Publisher: Springer
Published: 16 Jun 2004

Save for later

High Performance Computing and Communications: Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540754435

Format: Paperback (823 pages)
Publisher: Springer
Published: 17 Sep 2007

Save for later

The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540727255

Format: Paperback (322 pages)
Publisher: Springer
Published: 10 May 2007

Save for later

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science / Programming and Software Engineering)

by Ben Liblit

ISBN 13: 9783540718772

Format: Paperback (101 pages)
Publisher: Springer
Published: 25 Apr 2007

Save for later

Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540756637

Format: Paperback (563 pages)
Publisher: Springer
Published: 28 Sep 2007

Save for later

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, ... / Programming and Software Engineering)

by

ISBN 13: 9783540731085

Format: Paperback (1038 pages)
Publisher: Springer
Published: 29 Jun 2007

Save for later

Argumentation in Multi-Agent Systems: 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540789147

Format: Paperback (235 pages)
Publisher: Springer
Published: 28 Mar 2008

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later