81- 100 of 255 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
QUICK ADD
Tests and Proofs: 11th…
by Sebastian Gabmeyer, Einar Broch Johnsen
#10375 in Series
Paperback $54.99
Title: Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings, Author: Lei Bu
QUICK ADD
Software Analysis, Testing,…
by Lei Bu, Yingfei Xiong
#11293 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#703 in Series
Paperback $54.99
Title: Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García, Katty Lagos-Ortiz, Gema Alcaraz-Mármol, Javier del Cioppo, Nestor Vera-Lucio
#658 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: 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: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Paperback $54.99
Title: Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, Author: Marco Aiello
QUICK ADD
Service-Oriented and Cloud…
by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
#9846 in Series
Paperback $54.99
Title: Enterprise and Organizational Modeling and Simulation: 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers, Author: Robert Pergl
QUICK ADD
Enterprise and Organizational…
by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtech Merunka
#366 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, Author: Philippe Desfray
QUICK ADD
Model-Driven Engineering and…
by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires
#580 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab
QUICK ADD
Formal Aspects of Component…
by Farhad Arbab, Sung-Shik Jongmans
#12018 in Series
Paperback $54.99
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch�teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers, Author: Jean-Michel Bruel
QUICK ADD
Software Engineering Aspects…
by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
#12055 in Series
Paperback $54.99
Title: Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. Complexity…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#269 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: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer, Chantal Keller
#11823 in Series
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: Service-Oriented Computing - ICSOC 2015 Workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers, Author: Alex Norta
QUICK ADD
Service-Oriented Computing -…
by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam
#9586 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings, Author: Sergio de Cesare
QUICK ADD
Advances in Conceptual…
by Sergio de Cesare, Ulrich Frank
#10651 in Series
Paperback $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford
#10600 in Series
Paperback $54.99
Title: Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers, Author: Enrique Cabello
QUICK ADD
Software Technologies: 11th…
by Enrique Cabello, Jorge Cardoso, Andrï Ludwig, Leszek A. Maciaszek, Marten van Sinderen
#743 in Series
Paperback $54.99

Pagination Links