21- 40 of 176 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Perspectives on Software Requirements, Author: Julio Cesar Sampaio do Prado Leite
QUICK ADD
Perspectives on Software…
by Julio Cesar Sampaio do Prado Leite (Editor), Jorge Horacio Doorn (Editor)
#753 in Series
Paperback $109.99
Title: Soft City Culture and Technology: The Betaville Project, Author: Carl Skelton
QUICK ADD
Soft City Culture and…
by Carl Skelton
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: Essential Delphi 3 fast: Includes ActiveX Development, Author: John Cowell
QUICK ADD
Essential Delphi 3 fast:…
by John Cowell
Explore Series
Paperback $109.99
Title: Software Synthesis from Dataflow Graphs, Author: Shuvra S. Bhattacharyya
QUICK ADD
Software Synthesis from…
by Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
#360 in Series
Paperback $109.99
Title: Global Software: Developing Applications for the International Market, Author: Dave Taylor
QUICK ADD
Global Software: Developing…
by Dave Taylor
Paperback $109.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock (Editor), Peter G. Larsen (Editor)
#670 in Series
Paperback $109.99
Title: The Unified Modeling Language: Technical Aspects and Applications, Author: Martin Schader
QUICK ADD
The Unified Modeling Language:…
by Martin Schader (Editor), Axel Korthaus (Editor)
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, Author: Hubert Garavel
QUICK ADD
Tools and Algorithms for the…
by Hubert Garavel (Editor), John Hatcliff (Editor)
#2619 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: 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: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings, Author: Marie-Claude Gaudel
QUICK ADD
TAPSOFT '93: Theory and…
by Marie-Claude Gaudel (Editor), Jean-Pierre Jouannaud (Editor)
#668 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Author: Susanne Graf
QUICK ADD
Tools and Algorithms for the…
by Susanne Graf (Editor), Michael Schwartzbach (Editor)
#1785 in Series
Paperback $109.99
Title: Software Engineering Techniques: Design for Quality, Author: Krzysztof Sacha
QUICK ADD
Software Engineering…
by Krzysztof Sacha (Editor)
#227 in Series
Paperback $109.99
Title: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
FME 2002: Formal Methods -…
by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Editor)
#2391 in Series
Paperback $109.99
Title: Proof in VDM: Case Studies, Author: Juan C. Bicarregui
QUICK ADD
Proof in VDM: Case Studies
by Juan C. Bicarregui (Editor)
Explore 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: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, Author: Nicolas Halbwachs
QUICK ADD
Tools and Algorithms for the…
by Nicolas Halbwachs (Editor), Lenore Zuck (Editor)
#3440 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: Future Interaction Design II, Author: Pertti Saariluoma
QUICK ADD
Future Interaction Design II
by Pertti Saariluoma (Editor), Hannakaisa Isomïki (Editor)
Paperback $109.99

Pagination Links