Software Verification and Validation: An Engineering and Scientific Approach
by Marcus S. Fisher
ISBN 13: 9780387327259
Format: Hardcover (172 pages) Publisher: Springer Published: 20 Dec 2006
Save for later
Mobile Response: First International Workshop on Mobile Information Technology, for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, ... Networks and Telecommunications)
by
ISBN 13: 9783540756675
Format: Paperback (163 pages) Publisher: Springer Published: 22 Nov 2007
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
by Frank J. van der Linden,Klaus Schmid,Eelco Rommes
ISBN 13: 9783540714361
Format: Hardcover (333 pages) Publisher: Springer Published: 08 Jun 2007
Machine Learning for Multimodal Interaction: Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540692676
Format: Paperback (482 pages) Publisher: Springer Published: 22 Dec 2006
Agent and Multi-Agent Systems: Technologies and Applications: First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540728290
Format: Paperback (1046 pages) Publisher: Springer Published: 24 May 2007 Other Format: Paperback
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Wan Fokkink
ISBN 13: 9783540739371
Format: Hardcover (156 pages) Publisher: Springer Published: 26 Sep 2007
Extending Web Services Technologies: The Use of Multi-Agent Approaches: 13 (Multiagent Systems, Artificial Societies, and Simulated Organizations)
ISBN 13: 9780387233437
Format: Hardcover (328 pages) Publisher: Springer Published: 18 Apr 2005
Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540715894
Format: Paperback (851 pages) Publisher: Springer Published: 02 Apr 2007
End User Development (Human-Computer Interaction Series)
ISBN 13: 9781402053092
Format: Paperback (508 pages) Publisher: Springer Published: 01 Sep 2006 Other Format: Hardcover
Human Factors and Voice Interactive Systems (Signals and Communication Technology)
ISBN 13: 9780387254821
Format: Hardcover (495 pages) Publisher: Springer Published: 14 Jan 2008
Requirements Management: The Interface Between Requirements Development and All Other Systems Engineering Processes
by Colin Hood,Simon Wiedemann,Stefan Fichtinger,Urte Pautz
ISBN 13: 9783540476894
Format: Hardcover (287 pages) Publisher: Springer Published: 19 Nov 2007
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
by Howard Bowman,Rodolfo Gomez
ISBN 13: 9781852338954
Format: Hardcover (422 pages) Publisher: Springer Published: 21 Dec 2005