61- 80 of 1272 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings, Author: Aaron Dutle
QUICK ADD
NASA Formal Methods: 17th…
by Aaron Dutle (Editor), Laura Humphrey (Editor), Laura Titolo (Editor)
#15682 in Series
eBook $129.00
Title: Quality of Information and Communications Technology: 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings, Author: Antonia Bertolino
QUICK ADD
Quality of Information and…
by Antonia Bertolino (Editor), João Pascoal Faria (Editor), Patricia Lago (Editor), Laura Semini (Editor)
#2178 in Series
eBook $129.00
Title: Error Correction Coding: Mathematical Methods and Algorithms, Author: Todd K. Moon
QUICK ADD
Error Correction Coding:…
by Todd K. Moon
eBook $124.00
Title: Enterprise Software Architecture and Design: Entities, Services, and Resources, Author: Dominic Duggan
QUICK ADD
Enterprise Software…
by Dominic Duggan
#10 in Series
eBook $123.00
Title: Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings, Author: Guangdong Bai
QUICK ADD
Engineering of Complex…
by Guangdong Bai (Editor), Fuyuki Ishikawa (Editor), Yamine Ait-Ameur (Editor), George A. Papadopoulos (Editor)
#14784 in Series
eBook $119.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: Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers, Author: Maarten van Steen
QUICK ADD
Cloud Computing and Services…
by Maarten van Steen (Editor), Donald Ferguson (Editor), Claus Pahl (Editor)
#1845 in Series
eBook $119.00
Title: From Data to Models and Back: 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, Author: Ricardo M. Czekster
QUICK ADD
From Data to Models and Back:…
by Ricardo M. Czekster (Editor), Paolo Milazzo (Editor)
#15556 in Series
eBook $119.00
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: Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Coordination Models and…
by Maurice H. ter Beek (Editor), Marjan Sirjani (Editor)
#13271 in Series
eBook $119.00
Title: Quality of Information and Communications Technology: 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, Author: Ana C. R. Paiva
QUICK ADD
Quality of Information and…
by Ana C. R. Paiva (Editor), Ana Rosa Cavalli (Editor), Paula Ventura Martins (Editor), Ricardo Pérez-Castillo (Editor)
#1439 in Series
eBook $119.00
Title: End-User Development: 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings, Author: Carmen Santoro
QUICK ADD
End-User Development: 10th…
by Carmen Santoro (Editor), Albrecht Schmidt (Editor), Maristella Matera (Editor), Andrea Bellucci (Editor)
#15713 in Series
eBook $119.00
Title: Generative AI for Effective Software Development, Author: Anh Nguyen-Duc
QUICK ADD
Generative AI for Effective…
by Anh Nguyen-Duc (Editor), Pekka Abrahamsson (Editor), Foutse Khomh (Editor)
eBook $119.00
Title: Grundlagenforschung für vertrauenswürdige Software, Author: Jifeng He
QUICK ADD
Grundlagenforschung für…
by Jifeng He (Editor)
eBook $109.99
Title: From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers, Author: Giovanna Broccia
QUICK ADD
From Data to Models and Back:…
by Giovanna Broccia (Editor), Antonio Cerone (Editor)
#14618 in Series
eBook $109.00
Title: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, Author: Paolo Masci
QUICK ADD
Software Engineering and…
by Paolo Masci (Editor), Cinzia Bernardeschi (Editor), Pierluigi Graziani (Editor), Mario Koddenbrock (Editor), Maurizio Palmieri (Editor)
#13765 in Series
eBook $109.00
Title: Balancing Software Innovation and Regulatory Compliance: 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings, Author: Jannik Fischbach
QUICK ADD
Balancing Software Innovation…
by Jannik Fischbach (Editor), Rudolf Ramler (Editor), Dietmar Winkler (Editor), Johannes Bergsmann (Editor)
#544 in Series
eBook $109.00
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
QUICK ADD
Formal Methods: 24th…
by Marieke Huisman (Editor), Corina Pasareanu (Editor), Naijun Zhan (Editor)
#13047 in Series
eBook $109.00
Title: Human-Centered Software Engineering: 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings, Author: Marta Kristín Lárusdóttir
QUICK ADD
Human-Centered Software…
by Marta Kristín Lárusdóttir (Editor), Bilal Naqvi (Editor), Regina Bernhaupt (Editor), Carmelo Ardito (Editor), Stefan Sauer (Editor)
#14793 in Series
eBook $109.00
Title: Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, Author: Wei-Ngan Chin
QUICK ADD
Theoretical Aspects of…
by Wei-Ngan Chin (Editor), Zhiwu Xu (Editor)
#14777 in Series
eBook $109.00

Pagination Links