1- 20 of 225 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: 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: 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: 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: Soft City Culture and Technology: The Betaville Project, Author: Carl Skelton
QUICK ADD
Soft City Culture and…
by Carl Skelton
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: 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: 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: 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: 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: 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: 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: 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