Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June ... (Lecture Notes in Computer Science)
by
ISBN 13: 9783540645368
Format: Paperback (297 pages) Publisher: Springer Published: 20 May 1998
Save for later
Architecture Exploration for Embedded Processors with LISA
by Andreas Hoffmann,Heinrich Meyr,Rainer Leupers
ISBN 13: 9781402073380
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 2002
Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540578772
Format: Paperback (451 pages) Publisher: Springer Published: 23 Mar 1994
Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540331063
Format: Paperback (245 pages) Publisher: Springer Published: 23 Mar 2006
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
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 Other Format: Paperback