Buy Used and New Software Design, Testing & Engineering Books

Intelligent Agents II - Agent Theories, Architectures, and Languages: IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540608059

Format: Paperback (438 pages)
Publisher: Springer
Published: 17 Jan 1996

Save for later

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783642049842

Format: Paperback (353 pages)
Publisher: Springer
Published: 15 Oct 2009

Save for later

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

Save for later

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540578772

Format: Paperback (451 pages)
Publisher: Springer
Published: 23 Mar 1994

Save for later

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

by

ISBN 13: 9780792317180

Format: Hardcover (436 pages)
Publisher: Springer
Published: 30 Apr 1992

Save for later

Visual Database Systems 4 (VDB4): I.F.I.P. 2.6 Working Conference Proceedings: 4th (IFIP Advances in Information and Communication Technology)

by

ISBN 13: 9780412844003

Format: Hardcover (384 pages)
Publisher: Springer
Published: 31 May 1998

Save for later

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)

by

ISBN 13: 9783642007675

Format: Paperback (456 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

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)

by

ISBN 13: 9783540006244

Format: Paperback (427 pages)
Publisher: Springer
Published: 21 Feb 2003

Save for later

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

Save for later