1- 20 of 449 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11244 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: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11245 in Series
eBook $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers, Author: Raian Ali
QUICK ADD
Evaluation of Novel Approaches…
by Raian Ali (Editor), Hermann Kaindl (Editor), Leszek A. Maciaszek (Editor)
#1556 in Series
eBook $89.99
Title: Quality of Information and Communications Technology: 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, Author: Martin Shepperd
QUICK ADD
Quality of Information and…
by Martin Shepperd (Editor), Fernando Brito e Abreu (Editor), Alberto Rodrigues da Silva (Editor), Ricardo Pérez-Castillo (Editor)
#1266 in Series
eBook $54.99
Title: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings, Author: Anne Remke
QUICK ADD
Measurement, Modelling and…
by Anne Remke (Editor), Boudewijn R. Haverkort (Editor)
#9629 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: Advances in Computing: 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings, Author: Andrés Solano
QUICK ADD
Advances in Computing: 12th…
by Andrés Solano (Editor), Hugo Ordoñez (Editor)
#735 in Series
eBook $99.00
Title: Remote Engineering Management: Managing an Engineering Team in a Remote-First World, Author: Alexandra Sunderland
QUICK ADD
Remote Engineering Management:…
by Alexandra Sunderland
eBook $64.99
Title: Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings, Author: Nazim Madhavji
QUICK ADD
Requirements Engineering:…
by Nazim Madhavji (Editor), Liliana Pasquale (Editor), Alessio Ferrari (Editor), Stefania Gnesi (Editor)
#12045 in Series
eBook $54.99
Title: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, Author: Jyotirmoy V. Deshmukh
QUICK ADD
NASA Formal Methods: 14th…
by Jyotirmoy V. Deshmukh (Editor), Klaus Havelund (Editor), Ivan Perez (Editor)
#13260 in Series
eBook $119.00
Title: Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, Author: Khaled El-Fakih
QUICK ADD
Testing Software and Systems:…
by Khaled El-Fakih (Editor), Gerassimos Barlas (Editor), Nina Yevtushenko (Editor)
#9447 in Series
eBook $54.99
Title: Airborne Electronic Hardware Design Assurance: A Practitioner's Guide to RTCA/DO-254, Author: Randall Fulton
QUICK ADD
Airborne Electronic Hardware…
by Randall Fulton, Roy Vandermolen
eBook $69.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#12479 in Series
eBook $54.99
Title: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings, Author: Yamine Ait-Ameur
QUICK ADD
Implicit and Explicit…
by Yamine Ait-Ameur (Editor), Shin Nakajima (Editor), Dominique Mïry (Editor)
eBook $99.00
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 (Editor), Neena Imam (Editor), Swaroop Pophale (Editor), Tiffany M. Mintz (Editor)
#10007 in Series
eBook $54.99
Title: Computer Science - CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers, Author: Patricia Pesado
QUICK ADD
Computer Science - CACIC 2018:…
by Patricia Pesado (Editor), Claudio Aciti (Editor)
#995 in Series
eBook $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 (Editor), Eduyn Ramiro López-Santana (Editor), José Luis Villa-Ramírez (Editor), Roberto Ferro-Escobar (Editor)
#742 in Series
eBook $54.99
Title: Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García (Editor), Eduyn Ramiro López-Santana (Editor), José Ignacio Rodriguez-Molano (Editor)
#915 in Series
eBook $54.99
Title: Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, Author: Ahmed Bouajjani
QUICK ADD
Automated Technology for…
by Ahmed Bouajjani (Editor), Lukás Holík (Editor), Zhilin Wu (Editor)
#13505 in Series
eBook $84.99

Pagination Links