Intelligent Systems and Soft Computing: Prospects, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540678373
Format: Paperback (357 pages) Publisher: Springer Published: 26 Jul 2000
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783642007675
Format: Paperback (456 pages) Publisher: Springer Published: 09 Mar 2009
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)
ISBN 13: 9783540006244
Format: Paperback (427 pages) Publisher: Springer Published: 21 Feb 2003
Synchronous Equivalence: Formal Methods for Embedded Systems
by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli
ISBN 13: 9780792372622
Format: Hardcover (136 pages) Publisher: Springer Published: 31 Dec 2000
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004
Frontiers of Human-Centred Computing, Online Communities and Virtual Environments
ISBN 13: 9781852332389
Format: Hardcover (482 pages) Publisher: Springer Published: 26 Feb 2001
Managing the Change: Software Configuration and Change Management: Software Best Practice 2: v. 2
ISBN 13: 9783540417859
Format: Paperback (280 pages) Publisher: Springer Published: 23 Oct 2001
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)
ISBN 13: 9783540290100
Format: Paperback (722 pages) Publisher: Springer Published: 19 Sep 2005
Forensic Computing: A Practitioner's Guide (Practitioner Series)
by A J Sammes,Brian Jenkinson
ISBN 13: 9781846283970
Format: Hardcover (470 pages) Publisher: Springer Published: 03 Aug 2007
Biometric Systems: Technology, Design and Performance Evaluation
ISBN 13: 9781852335960
Format: Hardcover (370 pages) Publisher: Springer Published: 03 Feb 2005
Principles of Program Analysis
by Flemming Nielson,Hanne R. Nielson,Chris Hankin
ISBN 13: 9783540654100
Format: Hardcover (452 pages) Publisher: Springer Published: 22 Oct 1999
(Re)Searching the Digital Bauhaus (Human-Computer Interaction Series)
ISBN 13: 9781848003491
Format: Hardcover (374 pages) Publisher: Springer Published: 27 Nov 2008