81- 100 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Author: Deepak D'Souza
QUICK ADD
Automated Technology for…
by Deepak D'Souza, K. Narayan Kumar
#10482 in Series
Paperback $54.99
Title: System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings, Author: Jens Grabowski
QUICK ADD
System Analysis and Modeling.…
by Jens Grabowski, Steffen Herbold
#9959 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: 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: Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proc, Author: Jean-Marie Jacquet
QUICK ADD
Coordination Models and…
by Jean-Marie Jacquet, Mieke Massink
#10319 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: 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: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, Author: Zhenhua Duan
QUICK ADD
Formal Methods and Software…
by Zhenhua Duan, Luke Ong
#10610 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: Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski
#12044 in Series
Paperback $54.99
Title: Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Alberto H. F. Laender
QUICK ADD
Conceptual Modeling: 38th…
by Alberto H. F. Laender, Barbara Pernici, Ee-Peng Lim, Josï Palazzo M. de Oliveira
#11788 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: 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: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese, Eric Madelaine
#8997 in Series
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: Fault Prediction Modeling for the Prediction of Number of Software Faults, Author: Santosh Singh Rathore
QUICK ADD
Fault Prediction Modeling for…
by Santosh Singh Rathore, Sandeep Kumar
Explore Series
Paperback $54.99
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
QUICK ADD
OpenSHMEM and Related…
by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz
#10007 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: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for the…
by Marco Bernardo, Rocco De Nicola, Jane Hillston
#9700 in Series
Paperback $54.99
Title: Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers, Author: Cristian Bogdan
QUICK ADD
Human-Centered Software…
by Cristian Bogdan, Kati Kuusinen, Marta Kristïn Lïrusdïttir, Philippe Palanque, Marco Winckler
#11262 in Series
Paperback $54.99

Pagination Links