921- 940 of 1883 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Paperback $169.99
Title: UML by Example, Author: Ghinwa Jalloul
QUICK ADD
UML by Example
by Ghinwa Jalloul
Explore Series
Hardcover $105.00
Title: A Guide to Simulation / Edition 2, Author: Paul Bratley
QUICK ADD
A Guide to Simulation /…
by Paul Bratley, Bennet L. Fox, Linus E. Schrage
Paperback $169.99
Title: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / Edition 1, Author: Kung-Kiu Lau
QUICK ADD
Formal Methods and Software…
by Kung-Kiu Lau, Richard Banach
#3785 in Series
Paperback $54.99
Title: The Definitive Guide to the Microsoft Enterprise Library / Edition 1, Author: Keenan Newton
QUICK ADD
The Definitive Guide to the…
by Keenan Newton
Explore Series
Hardcover $54.99
Title: Simulation and the Monte Carlo Method / Edition 3, Author: Reuven Y. Rubinstein
QUICK ADD
Simulation and the Monte Carlo…
by Reuven Y. Rubinstein, Dirk P. Kroese
#10 in Series
Hardcover $146.75
Title: Pro PayPal E-Commerce / Edition 1, Author: Damon Williams
QUICK ADD
Pro PayPal E-Commerce /…
by Damon Williams
Explore Series
Paperback $54.99
Title: The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings, Author: Robert Andrei Buchmann
QUICK ADD
The Practice of Enterprise…
by Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova
#335 in Series
Paperback $54.99
Title: Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / Edition 1, Author: Uwe Aßmann
QUICK ADD
Model Driven Architecture:…
by Uwe Aßmann, Mehmet Aksit, Arend Rensink
#3599 in Series
Paperback $54.99
Title: An Introduction to Object-Oriented Programming / Edition 3, Author: Timothy Budd
QUICK ADD
An Introduction to…
by Timothy Budd
Paperback from $160.89 $292.59 Current price is $160.89, Original price is $292.59.
Title: The NEURON Book, Author: Nicholas T. Carnevale
QUICK ADD
The NEURON Book
by Nicholas T. Carnevale, Michael L. Hines
Hardcover $153.00
Title: Oracle HTML DB Handbook / Edition 1, Author: Bradley D. Brown
QUICK ADD
Oracle HTML DB Handbook /…
by Bradley D. Brown, Lawrence C. Linnemeyer
Explore Series
Paperback $61.00
Title: Formal Specification: Techniques and Applications / Edition 1, Author: Nimal Nissanke
QUICK ADD
Formal Specification:…
by Nimal Nissanke
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
QUICK ADD
Structured Object-Oriented…
by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
#12028 in Series
Paperback $54.99
Title: Extreme Programming and Agile Methods - XP/Agile Universe 2003: Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / Edition 1, Author: Frank Maurer
QUICK ADD
Extreme Programming and Agile…
by Frank Maurer, Don Wells
#2753 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Author: Zhenhua Duan
QUICK ADD
Structured Object-Oriented…
by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
#11392 in Series
Paperback $54.99
Title: Derivation and Validation of Software Metrics, Author: Martin Shepperd
QUICK ADD
Derivation and Validation of…
by Martin Shepperd, Darrel Ince
#9 in Series
Hardcover $33.99
Title: Computer-based Modelling and Optimization in Transportation, Author: Jorge Freire Sousa
QUICK ADD
Computer-based Modelling and…
by Jorge Freire Sousa, Riccardo Rossi
#262 in Series
Paperback $109.99
Title: Blockchain for Cybersecurity and Privacy: Architectures, Challenges, and Applications / Edition 1, Author: Yassine Maleh
QUICK ADD
Blockchain for Cybersecurity…
by Yassine Maleh, Mohammad Shojafar, Mamoun Alazab, Imed Romdhani
Explore Series
Paperback $94.99
Title: Process Improvement and CMMI for Systems and Software / Edition 1, Author: Ron S. Kenett
QUICK ADD
Process Improvement and CMMI…
by Ron S. Kenett, Emanuel Baker
Hardcover $160.00

Pagination Links