21- 40 of 238 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: 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: Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0, Author: John Cowell
QUICK ADD
Essential Delphi 2.0 Fast: How…
by John Cowell
Explore 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: 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: 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: FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, Author: Jose N. Oliveira
QUICK ADD
FME 2001: Formal Methods for…
by Jose N. Oliveira (Editor), Pamela Zave (Editor)
#2021 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 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: 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: 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: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions, Author: Soren Prehn
QUICK ADD
VDM '91. Formal Software…
by Soren Prehn (Editor), Hans Toetenel (Editor)
#551 in Series
Paperback $109.99
Title: Design Principles for Interactive Software, Author: Gilbert Cockton
QUICK ADD
Design Principles for…
by Gilbert Cockton (Editor), Christian Gram (Editor)
Explore 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: Future Interaction Design II, Author: Pertti Saariluoma
QUICK ADD
Future Interaction Design II
by Pertti Saariluoma (Editor), Hannakaisa Isomïki (Editor)
Paperback $109.99
Title: FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, Author: Jayadev Misra
QUICK ADD
FM 2006: Formal Methods: 14th…
by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)
#4085 in Series
Paperback $109.99
Title: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Author: Manfred Nagl
QUICK ADD
Building Tightly Integrated…
by Manfred Nagl (Editor)
#1170 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'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, Author: Michel Bidoit
QUICK ADD
TAPSOFT'97: Theory and…
by Michel Bidoit (Editor), Max Dauchet (Editor)
#1214 in Series
Paperback $109.99

Pagination Links