1- 20 of 165 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2005: Formal Methods:…
by John Fitzgerald (Editor), Ian J. Hayes (Editor)
#3582 in Series
Paperback $54.99
Title: Universal Access in Health Telematics: A Design Code of Practice, Author: Constantine Stephanidis
QUICK ADD
Universal Access in Health…
by Constantine Stephanidis (Editor)
#3041 in Series
Paperback $54.99
Title: Transactions on Aspect-Oriented Software Development I, Author: Awais Rashid
QUICK ADD
Transactions on…
by Awais Rashid (Editor), Mehmet Aksit (Editor)
#3880 in Series
Paperback $54.99
Title: Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, Author: C.V. Ramamoorthy
QUICK ADD
Software Engineering Research…
by C.V. Ramamoorthy (Editor), Roger Y. Lee (Editor), Kyung Whan Lee (Editor)
#3026 in Series
Paperback $54.99
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Author: Robin E. Bloomfield
QUICK ADD
VDM '88. VDM - The Way Ahead:…
by Robin E. Bloomfield (Editor), Roger B. Jones (Editor), Lynn S. Marshall (Editor)
#328 in Series
Paperback $54.99
Title: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, Author: Barbara Paech
QUICK ADD
Innovations for Requirement…
by Barbara Paech (Editor), Craig Martell (Editor)
#5320 in Series
Paperback $54.99
Title: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings, Author: Martin Gogolla
QUICK ADD
UML 2001 - The Unified…
by Martin Gogolla (Editor), Cris Kobryn (Editor)
#2185 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: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors, Author: R. Kurki-Suonio
QUICK ADD
A Practical Theory of Reactive…
by R. Kurki-Suonio
Explore 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: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials, Author: Soren Prehn
QUICK ADD
VDM '91. Formal Software…
by Soren Prehn (Editor), Hans Toetenel (Editor)
#552 in Series
Paperback $54.99
Title: The B Language and Method: A Guide to Practical Formal Development, Author: Kevin Lano
QUICK ADD
The B Language and Method: A…
by Kevin Lano
Explore Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, Author: Joost-Pieter Katoen
QUICK ADD
Tools and Algorithms for the…
by Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)
#2280 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings., Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#1055 in Series
Paperback $54.99
Title: Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings, Author: Ian Gorton
QUICK ADD
Component-Based Software…
by Ian Gorton (Editor), George T. Heinemann (Editor), Ivica Crnkovic (Editor), Heinz W. Schmidt (Editor), Judith A. Stafford (Editor)
#4063 in Series
Paperback $54.99
Title: Prototyping-Oriented Software Development: Concepts and Tools, Author: Walter R. Bischofberger
QUICK ADD
Prototyping-Oriented Software…
by Walter R. Bischofberger, Gustav Pomberger
Explore Series
Paperback $54.99
Title: The Synthesizer Generator: A System for Constructing Language-Based Editors, Author: Thomas W. Reps
QUICK ADD
The Synthesizer Generator: A…
by Thomas W. Reps, Tim Teitelbaum
Explore Series
Paperback $54.99
Title: Software Process Technology: 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings, Author: Wilhelm Schïfer
QUICK ADD
Software Process Technology:…
by Wilhelm Schïfer (Editor)
#913 in Series
Paperback $54.99
Title: Software Process Technology: 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings, Author: Flavio Oquendo
QUICK ADD
Software Process Technology:…
by Flavio Oquendo (Editor)
#2786 in Series
Paperback $54.99
Title: Practical Eclipse Rich Client Platform Projects, Author: Vladimir Silva
QUICK ADD
Practical Eclipse Rich Client…
by Vladimir Silva
Explore Series
Paperback $54.99

Pagination Links