41- 60 of 194 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee, Author: Kurt Jensen
QUICK ADD
Tools and Algorithms for the…
by Kurt Jensen (Editor), Andreas Podelski (Editor)
#2988 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding, Author: Orna Grumberg
QUICK ADD
Tools and Algorithms for the…
by Orna Grumberg (Editor), Michael Huth (Editor)
#4424 in Series
Paperback $109.99
Title: Software Product-Family Engineering: 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden (Editor)
#3014 in Series
Paperback $109.99
Title: Computer-Supported Collaboration: With Applications to Software Development, Author: Fadi P. Deek
QUICK ADD
Computer-Supported…
by Fadi P. Deek, James A. M. McHugh
#723 in Series
Paperback $109.99
Title: Mathematical Methods in Program Development, Author: Manfred Broy
QUICK ADD
Mathematical Methods in…
by Manfred Broy (Editor), Birgit Schieder (Editor)
#158 in Series
Paperback $109.99
Title: FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings, Author: Keijiro Araki
QUICK ADD
FME 2003: Formal Methods:…
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)
#2805 in Series
Paperback $109.99
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings., Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel (Editor), James Woodcock (Editor)
#1051 in Series
Paperback $109.99
Title: UML 2000 - The Unified Modeling Language: Advancing the Standard: Third International Conference York, UK, October 2-6, 2000 Proceedings, Author: Andy Evans
QUICK ADD
UML 2000 - The Unified…
by Andy Evans (Editor), Stuart Kent (Editor), Bran Selic (Editor)
#1939 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings, Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria (Editor), Wang Yi (Editor)
#2031 in Series
Paperback $109.99
Title: Open Source Development, Adoption and Innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland, Author: Joseph Feller
QUICK ADD
Open Source Development,…
by Joseph Feller (Editor), Brian Fitzgerald (Editor), Walt Scacchi (Editor), Alberto Sillitti (Editor)
#234 in Series
Paperback $109.99
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings, Author: Peter D. Mosses
QUICK ADD
TAPSOFT '95: Theory and…
by Peter D. Mosses (Editor), Mogens Nielsen (Editor), Michael I. Schwartzbach (Editor)
#915 in Series
Paperback $109.99
Title: Usability: Gaining a Competitive Edge, Author: Judy Hammond
QUICK ADD
Usability: Gaining a…
by Judy Hammond (Editor), Tom Gross (Editor), Janet Wesson (Editor)
#99 in Series
Paperback $109.99
Title: Future Interaction Design, Author: A. Pirhonen
QUICK ADD
Future Interaction Design
by A. Pirhonen (Editor), H. Isomïki (Editor), C. Roast (Editor), P. Saariluoma (Editor)
Paperback $109.00
Title: Excel 2007 VBA Programming with XML and ASP: ., Author: Julitta Korol
QUICK ADD
Excel 2007 VBA Programming…
by Julitta Korol
Explore Series
Paperback $101.95
Title: Large-Scale C++ Software Design / Edition 1, Author: John Lakos
QUICK ADD
Large-Scale C++ Software…
by John Lakos
Explore Series
Paperback $99.74
Title: Developing Real World Software: ., Author: Richard Schlesinger
QUICK ADD
Developing Real World Software…
by Richard Schlesinger
Paperback $97.95
Title: Automated Data Analysis Using Excel, Author: Brian D. Bissett
QUICK ADD
Automated Data Analysis Using…
by Brian D. Bissett
Explore Series
Paperback $96.99
Title: Developer's Digital Media Reference: New Tools, New Methods, Author: Curtis Poole
QUICK ADD
Developer's Digital Media…
by Curtis Poole, Janette Bradley
Paperback $96.99
Title: Configuration in Industrial Product Families: The ConIPF Methodology, Author: L. Hotz
QUICK ADD
Configuration in Industrial…
by L. Hotz (Editor), K. Wolter (Editor), T. Krebs (Editor), S. Deelstra (Editor), M. Sinnema (Editor)
Paperback $94.00
Title: PeopleSoft Developer's Guide for PeopleTools & PeopleCode, Author: Judi Doolittle
QUICK ADD
PeopleSoft Developer's Guide…
by Judi Doolittle, Byran Norris
Explore Series
Paperback $92.00

Pagination Links