921- 940 of 2690 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, Author: Alexandre Madeira
QUICK ADD
Software Engineering and…
by Alexandre Madeira (Editor), Alexander Knapp (Editor)
#15280 in Series
Paperback $79.99
Title: Informationsverarbeitung in Versicherungsunternehmen / Edition 1, Author: Michael Aschenbrenner
QUICK ADD
Informationsverarbeitung in…
by Michael Aschenbrenner, Ralph Dicke, Bertel Karnarski, Franz Schweiggert
Explore Series
Hardcover $44.99
Title: Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Author: Klaus Havelund
QUICK ADD
Formal Methods: 22nd…
by Klaus Havelund (Editor), Jan Peleska (Editor), Bill Roscoe (Editor), Erik de Vink (Editor)
#10951 in Series
eBook $89.00
Title: Product-Focused Software Process Improvement: 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I, Author: Regine Kadgien
QUICK ADD
Product-Focused Software…
by Regine Kadgien (Editor), Andreas Jedlitschka (Editor), Andrea Janes (Editor), Valentina Lenarduzzi (Editor), Xiaozhou Li (Editor)
#14483 in Series
eBook $89.00
Title: End-User Development: 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings, Author: Simone Barbosa
QUICK ADD
End-User Development: 6th…
by Simone Barbosa, Panos Markopoulos, Fabio Paternò, Simone Stumpf, Stefano Valtolina
#10303 in Series
Paperback $54.99
Title: Erfolgreiche agile Projekte: Pragmatische Kooperation und faires Contracting, Author: Matthias Book
QUICK ADD
Erfolgreiche agile Projekte:…
by Matthias Book, Volker Gruhn, Rüdiger Striemer
Explore Series
eBook $39.99
Title: Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers, Author: Bernhard Beckert
QUICK ADD
Formal Verification of…
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)
#7421 in Series
Paperback $49.99
Title: The Munich Project CIP: Volume II: The Programme Transformation System CIP-S / Edition 1, Author: Springer Berlin Heidelberg
QUICK ADD
The Munich Project CIP: Volume…
by Springer Berlin Heidelberg
#292 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: Practitioner's Knowledge Representation: A Pathway to Improve Software Effort Estimation, Author: Emilia Mendes
QUICK ADD
Practitioner's Knowledge…
by Emilia Mendes
Hardcover $54.99
Title: Objects, Models, Components, Patterns: 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings, Author: Jan Vitek
QUICK ADD
Objects, Models, Components,…
by Jan Vitek (Editor)
#6141 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: Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, Author: Mehdi Dastani
QUICK ADD
Fundamentals of Software…
by Mehdi Dastani, Marjan Sirjani
#10522 in Series
Paperback $54.99
Title: Programmsysteme: Anwendung, Entwicklung, Fundierung, Author: Peter Bachmann
QUICK ADD
Programmsysteme: Anwendung,…
by Peter Bachmann (Editor)
#5 in Series
Hardcover $148.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, Author: Simon Collart-Dutilleul
QUICK ADD
Reliability, Safety, and…
by Simon Collart-Dutilleul (Editor), Anne E. Haxthausen (Editor), Thierry Lecomte (Editor)
#13294 in Series
Paperback $69.99
Title: Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, Author: Franz Wotawa
QUICK ADD
Testing Software and Systems:…
by Franz Wotawa (Editor), Mihai Nica (Editor), Natalia Kushik (Editor)
#9976 in Series
eBook $54.99
Title: Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, Author: Arend Rensink
QUICK ADD
Theory and Practice of Model…
by Arend Rensink, Jesïs Sïnchez Cuadrado
#10888 in Series
Paperback $54.99
Title: Mastering Elm Programming: A Comprehensive Guidebook, Author: Brett Neutreon
QUICK ADD
Mastering Elm Programming: A…
by Brett Neutreon
eBook $6.95
Title: Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Author: Jing Sun
QUICK ADD
Formal Methods and Software…
by Jing Sun, Meng Sun
#11232 in Series
Paperback $54.99

Pagination Links