Premium Members Save 10% Join Now
961- 980 of 2506 results
Grid View Grid
List View List
Grid View Grid
List View List
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 (Editor), Bernhard Steffen (Editor)
#11246 in Series
eBook $54.99
Title: Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Formal Aspects of Component…
by José Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)
#8348 in Series
eBook $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 (Editor), Eric Madelaine (Editor)
#8997 in Series
eBook $54.99
Title: Model-Driven Engineering and Software Development: 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers, Author: Luís Ferreira Pires
QUICK ADD
Model-Driven Engineering and…
by Luís Ferreira Pires (Editor), Slimane Hammoudi (Editor), Bran Selic (Editor)
#880 in Series
eBook $54.99
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
#10215 in Series
eBook $54.99
Title: DevOps for Airborne Software: Exploring Modern Approaches, Author: Wanja Zaeske
QUICK ADD
DevOps for Airborne Software:…
by Wanja Zaeske, Umut Durak
Explore Series
eBook $54.99
Title: Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Author: Einar Broch Johnsen
QUICK ADD
Software Engineering and…
by Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
#10886 in Series
eBook $54.99
Title: Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings, Author: Maurizio Morisio
QUICK ADD
Product-Focused Software…
by Maurizio Morisio (Editor), Marco Torchiano (Editor), Andreas Jedlitschka (Editor)
#12562 in Series
eBook $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 (Editor), Mieke Massink (Editor)
#11761 in Series
eBook $54.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae (Editor), Peter Csaba Ölveczky (Editor)
#11222 in Series
eBook $54.99
Title: Software Management Approaches: Project Management, Estimation, and Life Cycle Support: Software Best Practice 3, Author: Michael Haug
QUICK ADD
Software Management Approaches…
by Michael Haug (Editor), Eric W. Olsen (Editor), Gilles Vallet (Editor), Olivier Becart (Editor)
eBook $54.99
Title: Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings, Author: Andrzej Kobylinski
QUICK ADD
Software Measurement: 25th…
by Andrzej Kobylinski (Editor), Beata Czarnacka-Chrobot (Editor), Jaroslaw Swierczek (Editor)
#230 in Series
eBook $54.99
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 (Editor), Panos Markopoulos (Editor), Fabio Paternò (Editor), Simone Stumpf (Editor), Stefano Valtolina (Editor)
#10303 in Series
eBook $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 (Editor), Ansgar Fehnker (Editor), Annabelle McIver (Editor), Andrei Voronkov (Editor)
#9450 in Series
eBook $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 (Editor), Walfredo Cirne (Editor), Narayan Desai (Editor)
#11332 in Series
eBook $54.99
Title: Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings, Author: Dingde Jiang
QUICK ADD
Simulation Tools and…
by Dingde Jiang (Editor), Houbing Song (Editor)
#424 in Series
eBook $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 (Editor), Luís Ferreira Pires (Editor), Joaquim Filipe (Editor), Rui César das Neves (Editor)
#506 in Series
eBook $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 (Editor), Ulrich Frank (Editor)
#10651 in Series
eBook $54.99
Title: Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings, Author: Flavio De Paoli
QUICK ADD
Service-Oriented and Cloud…
by Flavio De Paoli (Editor), Stefan Schulte (Editor), Einar Broch Johnsen (Editor)
#10465 in Series
eBook $54.99
Title: Cloud Computing and Services Science: 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert (Editor), Donald Ferguson (Editor), Victor Méndez Muñoz (Editor), Jorge Cardoso (Editor)
#740 in Series
eBook $54.99

Pagination Links