1- 20 of 451 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings, Author: Fabiano Dalpiaz
QUICK ADD
Requirements Engineering:…
by Fabiano Dalpiaz (Editor), Paola Spoletini (Editor)
#12685 in Series
eBook $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 (Editor), Elena Troubitsyna (Editor)
#9823 in Series
eBook $54.99
Title: Advances in Computing: 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised Selected Papers, Author: Enrique Gonzalez
QUICK ADD
Advances in Computing: 15th…
by Enrique Gonzalez (Editor), Mariela Curiel (Editor), Andrés Moreno (Editor), Angela Carrillo-Ramos (Editor), Rafael Páez (Editor)
#1594 in Series
eBook $69.99
Title: Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, Author: Inmaculada Medina-Bulo
QUICK ADD
Testing Software and Systems:…
by Inmaculada Medina-Bulo (Editor), Mercedes G. Merayo (Editor), Robert Hierons (Editor)
#11146 in Series
eBook $54.99
Title: Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers, Author: Marten van Sinderen
QUICK ADD
Software Technologies: 14th…
by Marten van Sinderen (Editor), Leszek A. Maciaszek (Editor)
#1250 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty (Editor), Jorge A. Navas (Editor)
#12031 in Series
eBook $54.99
Title: Information Systems Reengineering, Integration and Normalization: Heterogeneous Database Connectivity, Author: Joseph S. P. Fong
QUICK ADD
Information Systems…
by Joseph S. P. Fong, Kenneth Wong Ting Yan
eBook $59.99
Title: Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers, Author: Lin Zhang
QUICK ADD
Challenges and Opportunity…
by Lin Zhang (Editor), Lei Ren (Editor), Fabrice Kordon (Editor)
#10228 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11247 in Series
eBook $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 (Editor), Neena Imam (Editor), Swaroop Pophale (Editor), Tiffany M. Mintz (Editor)
#10007 in Series
eBook $54.99
Title: Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Theory and Practice of Model…
by Pieter Van Gorp (Editor), Gregor Engels (Editor)
#9765 in Series
eBook $54.99
Title: Build a Next-Generation Digital Workplace: Transform Legacy Intranets to Employee Experience Platforms, Author: Shailesh Kumar Shivakumar
QUICK ADD
Build a Next-Generation…
by Shailesh Kumar Shivakumar
eBook $69.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 (Editor), Anton Wijs (Editor)
#9641 in Series
eBook $54.99
Title: Numerical Methods for Black-Box Software in Computational Continuum Mechanics: Parallel High-Performance Computing, Author: Sergey I. Martynenko
QUICK ADD
Numerical Methods for…
by Sergey I. Martynenko
Explore Series
eBook $70.99
Title: Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, Author: Sérgio Campos
QUICK ADD
Formal Methods: Foundations…
by Sérgio Campos (Editor), Marius Minea (Editor)
#13130 in Series
eBook $59.99
Title: Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings, Author: Leonel Sousa
QUICK ADD
Euro-Par 2021: Parallel…
by Leonel Sousa (Editor), Nuno Roma (Editor), Pedro Tomás (Editor)
#12820 in Series
eBook $119.00
Title: Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings, Author: Wolfgang Ahrendt
QUICK ADD
Tests and Proofs: 14th…
by Wolfgang Ahrendt (Editor), Heike Wehrheim (Editor)
#12165 in Series
eBook $54.99
Title: Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers, Author: Aurora González-Vidal
QUICK ADD
Internet of Things: 5th The…
by Aurora González-Vidal (Editor), Ahmed Mohamed Abdelgawad (Editor), Essaid Sabir (Editor), Sébastien Ziegler (Editor), Latif Ladid (Editor)
#13533 in Series
eBook $89.99
Title: Perspective of DNA Computing in Computer Science, Author: Suyel Namasudra
QUICK ADD
Perspective of DNA Computing…
by Suyel Namasudra (Editor)
#129 in Series
eBook $182.00
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer (Editor), Chantal Keller (Editor)
#11823 in Series
eBook $54.99

Pagination Links