Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540386193
Format: Paperback (629 pages) Publisher: Springer Published: 25 Aug 2006
Save for later
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... / Programming and Software Engineering)
ISBN 13: 9783540462538
Format: Paperback (393 pages) Publisher: Springer Published: 27 Sep 2006
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540740605
Format: Paperback (469 pages) Publisher: Springer Published: 09 Aug 2007
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783540774419
Format: Paperback (333 pages) Publisher: Springer Published: 18 Dec 2007
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
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, ... / Programming and Software Engineering)
ISBN 13: 9783540731085
Format: Paperback (1038 pages) Publisher: Springer Published: 29 Jun 2007
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642162640
Format: Paperback (347 pages) Publisher: Springer Published: 06 Oct 2010
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
ISBN 13: 9783540343042
Format: Paperback (250 pages) Publisher: Springer Published: 15 May 2006
Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540726845
Format: Paperback (829 pages) Publisher: Springer Published: 08 May 2007
Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783540690603
Format: Paperback (205 pages) Publisher: Springer Published: 30 May 2008 Other Format: Paperback
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)
ISBN 13: 9783540705598
Format: Hardcover (260 pages) Publisher: Springer Published: 18 Aug 2008 Other Format: Hardcover