121- 140 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings, Author: Lu Zhang
QUICK ADD
Software Engineering and…
by Lu Zhang, Chang Xu
#675 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Author: Oleg Kiselyov
QUICK ADD
Functional and Logic…
by Oleg Kiselyov, Andy King
#9613 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings, Author: Alexander Romanovsky
QUICK ADD
Software Engineering for…
by Alexander Romanovsky, Elena A. Troubitsyna
#10479 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko, Ramtin Khosravi
#10231 in Series
Paperback $54.99
Title: Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, Author: Juan C. Trujillo
QUICK ADD
Conceptual Modeling: 37th…
by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling
#11157 in Series
Paperback $54.99
Title: Software Quality: Methods and Tools for Better Software and Systems: 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: Methods and…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#302 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Giancarlo Guizzardi
QUICK ADD
Advances in Conceptual…
by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel
#11787 in Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, Author: Martin Davis
QUICK ADD
Logic for Programming,…
by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
#9450 in Series
Paperback $54.99
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
QUICK ADD
Runtime Verification: 16th…
by Yliès Falcone, César Sánchez
#10012 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11247 in Series
Paperback $54.99
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: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Author: Ezio Bartocci
QUICK ADD
Runtime Verification: 6th…
by Ezio Bartocci, Rupak Majumdar
#9333 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 Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings, Author: Georgia M. Kapitsaki
QUICK ADD
Software Reuse: Bridging with…
by Georgia M. Kapitsaki, Eduardo Santana de Almeida
#9679 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 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: Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Author: Hossein Hojjat
QUICK ADD
Fundamentals of Software…
by Hossein Hojjat, Mieke Massink
#11761 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
Title: Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers, Author: Dalibor Klusïcek
QUICK ADD
Job Scheduling Strategies for…
by Dalibor Klusïcek, Walfredo Cirne, Narayan Desai
#11332 in Series
Paperback $54.99

Pagination Links