1- 20 of 223 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
#1019 in Series
Paperback $54.99
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / Edition 1, Author: Rajeev Alur
QUICK ADD
Embedded Software: Third…
by Rajeev Alur
#2855 in Series
Paperback $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: Making Globally Distributed Software Development a Success Story: International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings / Edition 1, Author: Qing Wang
QUICK ADD
Making Globally Distributed…
by Qing Wang, Dietmar Pfahl, David Raffo
#5007 in Series
Paperback $54.99
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors / Edition 1, Author: R. Kurki-Suonio
QUICK ADD
A Practical Theory of Reactive…
by R. Kurki-Suonio
Explore Series
Paperback $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: 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: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / Edition 1, Author: Pete Sawyer
QUICK ADD
Requirements Engineering:…
by Pete Sawyer, Barbara Paech, Patrick Heymans
#4542 in Series
Paperback $54.99
Title: Foundations of AOP for J2EE Development / Edition 1, Author: Lionel Seinturier
QUICK ADD
Foundations of AOP for J2EE…
by Lionel Seinturier, Renaud Pawlak
Explore Series
Hardcover $54.99
Title: Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers / Edition 1, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden
#2290 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers / Edition 1, Author: Jose L. Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by Jose L. Fiadeiro
#1589 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / Edition 1, Author: Martin Wirsing
QUICK ADD
Recent Trends in Algebraic…
by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
#2755 in Series
Paperback $54.99
Title: UML Modeling Languages and Applications: <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / Edition 1, Author: Nuno Jardim Nunes
QUICK ADD
UML Modeling Languages and…
by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez
#3297 in Series
Paperback $54.99
Title: Software Process Technology: 6th European Workshop, EWSPT'98, Weybridge, UK, September 16-18, 1998, Proceedings / Edition 1, Author: Volker Gruhn
QUICK ADD
Software Process Technology:…
by Volker Gruhn
#1487 in Series
Paperback $54.99
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings / Edition 1, Author: Shojiro Nishio
QUICK ADD
Object Technologies for…
by Shojiro Nishio, Akinori Yonezawa
#742 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: Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings / Edition 1, Author: Vincenzo Ambriola
QUICK ADD
Software Process Technology:…
by Vincenzo Ambriola
#2077 in Series
Paperback $54.99
Title: Abstract State Machines: A Method for High-Level System Design and Analysis / Edition 1, Author: Egon Bïrger
QUICK ADD
Abstract State Machines: A…
by Egon Bïrger, Robert Stïrk
Hardcover $54.99
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / Edition 1, Author: Robert Hirschfeld
QUICK ADD
Self-Sustaining Systems: First…
by Robert Hirschfeld, Kim Rose
#5146 in Series
Paperback $54.99
Title: Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / Edition 1, Author: Fabrice Kordon
QUICK ADD
Reliable Systems on Unreliable…
by Fabrice Kordon, Janos Sztipanovits
#4322 in Series
Paperback $54.99

Pagination Links