Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540331063
Format: Paperback (245 pages) Publisher: Springer Published: 23 Mar 2006
Save for later
Computer Systems and Software Engineering: State-of-the-Art
ISBN 13: 9780792317180
Format: Hardcover (436 pages) Publisher: Springer Published: 30 Apr 1992
Visual Database Systems 4 (VDB4): I.F.I.P. 2.6 Working Conference Proceedings: 4th (IFIP Advances in Information and Communication Technology)
ISBN 13: 9780412844003
Format: Hardcover (384 pages) Publisher: Springer Published: 31 May 1998
Intelligent Systems and Soft Computing: Prospects, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540678373
Format: Paperback (357 pages) Publisher: Springer Published: 26 Jul 2000
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