21- 40 of 397 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed, Author: Holger Hermanns
QUICK ADD
Tools and Algorithms for the…
by Holger Hermanns (Editor), Jens Palsberg (Editor)
#3920 in Series
Paperback $54.99
Title: Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1, Author: Shaoying Liu
QUICK ADD
Formal Engineering for…
by Shaoying Liu
Hardcover $54.99
Title: Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / Edition 1, Author: José Luiz Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by José Luiz Fiadeiro, Pierre-Yves Schobbens
#4409 in Series
Paperback $54.99
Title: Studies of Software Design: ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers, Author: David Alex Lamb
QUICK ADD
Studies of Software Design:…
by David Alex Lamb (Editor)
#1078 in Series
Paperback $54.99
Title: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: S bastien Goasguen
QUICK ADD
Docker Cookbook: Solutions and…
by S bastien Goasguen
Paperback $54.99
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings / Edition 1, Author: Frank van der Linden
QUICK ADD
Software Architectures for…
by Frank van der Linden
#1951 in Series
Paperback $54.99
Title: Analysis and Design of Information Systems / Edition 3, Author: Arthur M. Langer
QUICK ADD
Analysis and Design of…
by Arthur M. Langer
Hardcover $54.99
Title: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / Edition 1, Author: José Luiz Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
#3423 in Series
Paperback $54.99
Title: UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings, Author: Jean-Marc Jezequel
QUICK ADD
UML 2002 - The Unified…
by Jean-Marc Jezequel (Editor), Heinrich Hussman (Editor), Stephen Cook (Editor)
#2460 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, Author: Jürgen Münch
QUICK ADD
Product-Focused Software…
by Jürgen Münch (Editor), Matias Vierimaa (Editor)
#4034 in Series
Paperback $54.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson, Pekka Abrahamsson, Richard Messnarz
#3792 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / Edition 1, Author: Maura Cerioli
QUICK ADD
Recent Trends in Algebraic…
by Maura Cerioli, Gianna Reggio
#2267 in Series
Paperback $54.99
Title: Constructing Correct Software, Author: D. John Cooke
QUICK ADD
Constructing Correct Software
by D. John Cooke
Explore Series
Paperback $54.99
Title: Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings, Author: Andreas Riel
QUICK ADD
Systems, Software and Services…
by Andreas Riel (Editor), Rory O'Connor (Editor), Serge Tichkiewitch (Editor), Richard Messnarz (Editor)
#99 in Series
Paperback $54.99
Title: Software Process Technology: 5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings / Edition 1, Author: Carlo Montangero
QUICK ADD
Software Process Technology:…
by Carlo Montangero
#1149 in Series
Paperback $54.99
Title: Modular Specification and Verification of Object-Oriented Programs, Author: Peter Mïller
QUICK ADD
Modular Specification and…
by Peter Mïller
#2262 in Series
Paperback $54.99
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / Edition 1, Author: Ivica Crnkovic
QUICK ADD
Component-Based Software…
by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau
#3054 in Series
Paperback $54.99
Title: Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / Edition 1, Author: Kokichi Futatsugi
QUICK ADD
Object-Technologies for…
by Kokichi Futatsugi, Satoshi Matsuoka
#1049 in Series
Paperback $54.99
Title: Advances in Exception Handling Techniques / Edition 1, Author: Alexander Romanovsky
QUICK ADD
Advances in Exception Handling…
by Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi
#2022 in Series
Paperback $54.99

Pagination Links