Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783642113185
Format: Paperback (397 pages) Publisher: Springer Published: 08 Jan 2010
Save for later
Advances in Nonlinear Speech Processing: International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27, 2009, Revised ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642115080
Format: Paperback (200 pages) Publisher: Springer Published: 18 Feb 2010
Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts: Second IFIP WG 13.6 Conference, HWID 2009, Pune, India, ... in Information and Communication Technology)
ISBN 13: 9783642117619
Format: Hardcover (253 pages) Publisher: Springer Published: 01 Mar 2010
Wired/Wireless Internet Communications: 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
ISBN 13: 9783642133145
Format: Paperback (400 pages) Publisher: Springer Published: 21 May 2010
Practical Model-Based Testing: A Tools Approach
by Mark Utting,Bruno Legeard
ISBN 13: 9780123725011
Format: Hardcover (456 pages) Publisher: Morgan Kaufmann Published: 14 Mar 2007
Location-Based Services (The Morgan Kaufmann Series in Data Management Systems)
ISBN 13: 9781558609297
Format: Hardcover (255 pages) Publisher: Morgan Kaufmann Published: 21 May 2004
UML 2 Certification Guide: Fundamental & Intermediate Exams: Fundamental and Intermediate Exams (The MK/OMG Press)
by Tim Weilkiens,Bernd Oestereich
ISBN 13: 9780123735850
Format: Paperback (320 pages) Publisher: Morgan Kaufmann Published: 18 Dec 2006
Quality-Driven SystemC Design
by N/A
ISBN 13: 9789048136308
Format: Hardcover (170 pages) Publisher: Springer Published: 23 Dec 2009
Collaborative Software Engineering
ISBN 13: 9783642102936
Format: Hardcover (470 pages) Publisher: Springer Published: 11 Mar 2010
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642118043
Format: Paperback (426 pages) Publisher: Springer Published: 24 Mar 2010
Emergent Web Intelligence: Advanced Information Retrieval (Advanced Information and Knowledge Processing)
ISBN 13: 9781849960731
Format: Hardcover (487 pages) Publisher: Springer Published: 13 Apr 2010
Secure Integrated Circuits and Systems
ISBN 13: 9780387718279
Format: Hardcover (246 pages) Publisher: Springer Published: 11 Mar 2010