21- 40 of 692 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Programming Languages and Operational Semantics: A Concise Overview, Author: Maribel Fernández
QUICK ADD
Programming Languages and…
by Maribel Fernández
Explore Series
eBook $49.99
Title: Risk Assessment and Risk-Driven Testing: First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers, Author: Thomas Bauer
QUICK ADD
Risk Assessment and…
by Thomas Bauer (Editor), Jürgen Großmann (Editor), Fredrik Seehusen (Editor), Ketil Stølen (Editor), Marc-Florian Wendland (Editor)
#8418 in Series
eBook $44.99
Title: Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert (Editor), Frédéric Desprez (Editor), Donald Ferguson (Editor), Frank Leymann (Editor)
#453 in Series
eBook $54.99
Title: Git in Practice, Author: Mike McQuaid
QUICK ADD
Git in Practice
by Mike McQuaid
eBook $30.99
Title: BDD in Action: Behavior-Driven Development for the whole software lifecycle, Author: John Smart
QUICK ADD
BDD in Action: Behavior-Driven…
by John Smart
eBook $38.99
Title: An Introduction to Design Science, Author: Paul Johannesson
QUICK ADD
An Introduction to Design…
by Paul Johannesson, Erik Perjons
eBook $69.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
#8471 in Series
eBook $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny (Editor), Serge Haddad (Editor), Alex Yakovlev (Editor)
#8910 in Series
eBook $54.99
Title: Software Quality. Software and Systems Quality in Distributed and Mobile Environments: 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. Software and…
by Dietmar Winkler (Editor), Stefan Biffl (Editor), Johannes Bergsmann (Editor)
#200 in Series
eBook $44.99
Title: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese (Editor), Eric Madelaine (Editor)
#8997 in Series
eBook $54.99
Title: Information Systems Reengineering, Integration and Normalization, Author: Joseph Shi Piu Fong
QUICK ADD
Information Systems…
by Joseph Shi Piu Fong
eBook $49.99
Title: Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers, Author: Guadalupe Ortiz
QUICK ADD
Advances in Service-Oriented…
by Guadalupe Ortiz (Editor), Cuong Tran (Editor)
#508 in Series
eBook $54.99
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
QUICK ADD
Transactions on…
by Shigeru Chiba (Editor), Éric Tanter (Editor), Erik Ernst (Editor), Robert Hirschfeld (Editor)
#8989 in Series
eBook $54.99
Title: Solving Hyperbolic Equations with Finite Volume Methods, Author: M. Elena Vázquez-Cendón
QUICK ADD
Solving Hyperbolic Equations…
by M. Elena Vázquez-Cendón
#90 in Series
eBook $64.99
Title: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Multicore…
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
#9104 in Series
eBook $54.99
Title: Agile Metrics in Action: How to measure and improve team performance, Author: Christopher Davis
QUICK ADD
Agile Metrics in Action: How…
by Christopher Davis
eBook $34.99
Title: Parallel Computing Technologies: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin (Editor)
#9251 in Series
eBook $54.99
Title: Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings, Author: Márcio Barros
QUICK ADD
Search-Based Software…
by Márcio Barros (Editor), Yvan Labiche (Editor)
#9275 in Series
eBook $54.99
Title: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering and…
by Radu Calinescu (Editor), Bernhard Rumpe (Editor)
#9276 in Series
eBook $54.99
Title: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Author: Bernd Fischer
QUICK ADD
Model Checking Software: 22nd…
by Bernd Fischer (Editor), Jaco Geldenhuys (Editor)
#9232 in Series
eBook $54.99

Pagination Links