1- 20 of 226 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Usability Engineering: Process, Products & Examples / Edition 1, Author: Laura Leventhal
QUICK ADD
Usability Engineering: Process…
by Laura Leventhal, Julie Barnes
Paperback $274.84
Title: Hardware/Software Co-Design and Co-Verification, Author: Jean-Michel Bergé
QUICK ADD
Hardware/Software Co-Design…
by Jean-Michel Bergé (Editor), Oz Levia (Editor), Jacques Rouillard (Editor)
#8 in Series
Paperback $219.99
Title: Future Business Software: Current Trends in Business Software Development, Author: Gino Brunetti
QUICK ADD
Future Business Software:…
by Gino Brunetti (Editor), Thomas Feld (Editor), Lutz Heuser (Editor), Joachim Schnitter (Editor), Christian Webel (Editor)
Explore Series
Paperback $169.99
Title: Software Process Improvement, Author: Robin B. Hunter
QUICK ADD
Software Process Improvement
by Robin B. Hunter (Editor), Richard H. Thayer (Editor), Mark C. Paulk (Foreword by)
#25 in Series
Paperback $143.95
Title: Elements of Software Process Assessment & Improvement, Author: Khaled El Emam
QUICK ADD
Elements of Software Process…
by Khaled El Emam (Editor), Nazim H. Madhavji (Editor)
#29 in Series
Paperback $139.95
Title: Domain-Specific Modeling: Enabling Full Code Generation, Author: Steven Kelly
QUICK ADD
Domain-Specific Modeling:…
by Steven Kelly, Juha-Pekka Tolvanen
Explore Series
Paperback $136.95
Title: Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies, Author: Katalin Popovici
QUICK ADD
Embedded Software Design and…
by Katalin Popovici, Frïdïric Rousseau, Ahmed A. Jerraya, Marilyn Wolf
Explore Series
Paperback $119.99
Title: Computerbasierte Lernumgebungen zur Unterstuetzung selbstgesteuerter Lernprozesse: Eine objektorientierte Modellierung mit der Unified Modeling Language (UML), Author: Frank Arnold
QUICK ADD
Computerbasierte…
by Frank Arnold
#9 in Series
Paperback $114.50
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: 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: 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: 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: 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: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
FME 2002: Formal Methods -…
by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Editor)
#2391 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: 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: 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: 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

Pagination Links