1- 20 of 228 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Pro, Author: Hanne Riis Nielson
QUICK ADD
Coordination Models and…
by Hanne Riis Nielson, Emilio Tuosto
#11533 in Series
Paperback $54.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, Einar Broch Johnsen
#9104 in Series
Paperback $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, Yvan Labiche
#9275 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: Evaluation of Novel Approaches to Software Engineering: 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#599 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers, Author: Ernesto Damiani
QUICK ADD
Evaluation of Novel Approaches…
by Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek
#1172 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: 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: Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings, Author: Andrzej Wasowski
QUICK ADD
Modelling Foundations and…
by Andrzej Wasowski, Henrik Lönn
#9764 in Series
Paperback $54.99
Title: Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers, Author: Graziela Simone Tonin
QUICK ADD
Agile Methods: 9th Brazilian…
by Graziela Simone Tonin, Bernardo Estïcio, Alfredo Goldman, Eduardo Guerra
#981 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: Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings, Author: Pekka Abrahamsson
QUICK ADD
Product-Focused Software…
by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo
#9459 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Author: Ivica Crnkovic
QUICK ADD
Software Engineering for…
by Ivica Crnkovic, Elena Troubitsyna
#9823 in Series
Paperback $54.99
Title: Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 23rd…
by Dragan Bosnacki, Anton Wijs
#9641 in Series
Paperback $54.99
Title: Applied Computer Sciences in Engineering: 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Luis Villa-Ramírez, Roberto Ferro-Escobar
#742 in Series
Paperback $54.99
Title: Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers, Author: Zheng Li
QUICK ADD
Software Engineering and…
by Zheng Li, He Jiang, Ge Li, Minghui Zhou, Ming Li
#861 in Series
Paperback $54.99
Title: Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, Author: Antónia Lopes
QUICK ADD
Software Architecture: 11th…
by Antónia Lopes, Rogério de Lemos
#10475 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel, Sanjit A. Seshia
#9593 in Series
Paperback $54.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova, Steve Schneider
#10510 in Series
Paperback $54.99
Title: Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Klaus-Dieter Schewe
QUICK ADD
Model and Data Engineering:…
by Klaus-Dieter Schewe, Neeraj Kumar Singh
#11815 in Series
Paperback $54.99

Pagination Links