41- 60 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, Author: Christophe Gaston
QUICK ADD
Testing Software and Systems:…
by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
#11812 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, Author: Esther Guerra
QUICK ADD
Theory and Practice of Model…
by Esther Guerra, Mark van den Brand
#10374 in Series
Paperback $54.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, Frédéric Desprez, Donald Ferguson, Frank Leymann
#453 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
Title: Future-Proof Software-Systems: A Sustainable Evolution Strategy, Author: Frank J. Furrer
QUICK ADD
Future-Proof Software-Systems:…
by Frank J. Furrer
Hardcover $54.99
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Hardcover $54.99
Title: Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Marieke Huisman
QUICK ADD
Fundamental Approaches to…
by Marieke Huisman, Julia Rubin
#10202 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
#506 in Series
Paperback $54.99
Title: Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: The…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#338 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Author: Kazuhiro Ogata
QUICK ADD
Formal Methods and Software…
by Kazuhiro Ogata, Mark Lawford, Shaoying Liu
#10009 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11246 in Series
Paperback $54.99
Title: Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, Author: Slim Kallel
QUICK ADD
Risks and Security of Internet…
by Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
#12026 in Series
Paperback $54.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: 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: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Author: Cyrille Artho
QUICK ADD
Automated Technology for…
by Cyrille Artho, Axel Legay, Doron Peled
#9938 in Series
Paperback $54.99
Title: Globalizing Domain-Specific Languages: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers, Author: Benoit Combemale
QUICK ADD
Globalizing Domain-Specific…
by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jïzïquel, Bernhard Rumpe
#9400 in Series
Paperback $44.99
Title: Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings, Author: Yvo Desmedt
QUICK ADD
Information Security: 16th…
by Yvo Desmedt
#7807 in Series
Paperback $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, Bernhard Rumpe
#9276 in Series
Paperback $54.99
Title: Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers, Author: Paulo Meirelles
QUICK ADD
Agile Methods: 10th Brazilian…
by Paulo Meirelles, Maria Augusta Nelson, Carla Rocha
#1106 in Series
Paperback $54.99

Pagination Links