50% Off The Criterion Collection Shop Now
1- 20 of 253 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, Author: Kyriakos Kritikos
QUICK ADD
Service-Oriented and Cloud…
by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli
#11116 in Series
Paperback $54.99
Title: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, Author: Bernhard K. Aichernig
QUICK ADD
Tests and Proofs: 10th…
by Bernhard K. Aichernig, Carlo A. Furia
#9762 in Series
Paperback $54.99
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
#11800 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Dependable Software…
by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
#10606 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Author: Yu-Fang Chen
QUICK ADD
Automated Technology for…
by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
#11781 in Series
Paperback $54.99
Title: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Author: Shuvendu Lahiri
QUICK ADD
Runtime Verification: 17th…
by Shuvendu Lahiri, Giles Reger
#10548 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Cloud Computing and Services Science: 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Víctor Méndez Muñoz, Donald Ferguson
#581 in Series
Paperback $54.99
Title: Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Model and Data Engineering:…
by Ladjel Bellatreche, Yannis Manolopoulos
#9344 in Series
Paperback $54.99
Title: Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, Author: Federica Sarro
QUICK ADD
Search Based Software…
by Federica Sarro, Kalyanmoy Deb
#9962 in Series
Paperback $54.99
Title: RxJS in Action / Edition 1, Author: Paul P. Daniels
QUICK ADD
RxJS in Action / Edition 1
by Paul P. Daniels, Luis Atencio
Paperback $49.99
Title: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Author: Leila Ribeiro
QUICK ADD
Formal Methods: Foundations…
by Leila Ribeiro, Thierry Lecomte
#10090 in Series
Paperback $54.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, Author: Pau Fonseca i Casas
QUICK ADD
System Analysis and Modeling.…
by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
#11753 in Series
Paperback $54.99
Title: Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings, Author: Tomas Bures
QUICK ADD
Software Architecture: 13th…
by Tomas Bures, Laurence Duchien, Paola Inverardi
#11681 in Series
Paperback $64.99
Title: OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers, Author: Swaroop Pophale
QUICK ADD
OpenSHMEM and Related…
by Swaroop Pophale, Neena Imam, Ferrol Aderholdt, Manjunath Gorentla Venkata
#11283 in Series
Paperback $54.99
Title: Cloud Computing and Services Sciences: International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Frédéric Desprez, Donald Ferguson, Frank Leymann, Victor Méndez Munoz
#512 in Series
Paperback $54.99
Title: Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers, Author: Farouk Toumani
QUICK ADD
Service-Oriented Computing -…
by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling
#8954 in Series
Paperback $54.99
Title: Applied Semantic Web Technologies / Edition 1, Author: Vijayan Sugumaran
QUICK ADD
Applied Semantic Web…
by Vijayan Sugumaran, Jon Atle Gulla
Paperback $69.95
Title: Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Author: Michael Butler
QUICK ADD
Formal Methods and Software…
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
#9407 in Series
Paperback $54.99
Title: Integrating Business Process Models and Rules: Empirical Evidence and Decision Framework, Author: Wei Wang
QUICK ADD
Integrating Business Process…
by Wei Wang
#343 in Series
Paperback $54.99

Pagination Links