201- 220 of 238 results
Grid View Grid
List View List
Grid View Grid
List View List
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
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: 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: Mathematical Methods in Program Development, Author: Manfred Broy
QUICK ADD
Mathematical Methods in…
by Manfred Broy (Editor), Birgit Schieder (Editor)
#158 in Series
Paperback $109.99
Title: Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System, Author: Berthold Hoffmann
QUICK ADD
Program Development by…
by Berthold Hoffmann (Editor), Bernd Krieg-Brückner (Editor)
#680 in Series
Paperback $109.99
Title: FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings, Author: Keijiro Araki
QUICK ADD
FME 2003: Formal Methods:…
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)
#2805 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: Global Software: Developing Applications for the International Market, Author: Dave Taylor
QUICK ADD
Global Software: Developing…
by Dave Taylor
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

Pagination Links