21- 36 of 36 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Generative AI for Software Development: Building Software Faster and More Effectively, Author: Sergio Pereira
QUICK ADD
Generative AI for Software…
by Sergio Pereira
eBook $59.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June, Author: Carla Ferreira
QUICK ADD
Formal Techniques for…
by Carla Ferreira (Editor), Claudio Antares Mezzina (Editor)
#15732 in Series
eBook $64.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June, Author: Carla Ferreira
QUICK ADD
Formal Techniques for…
by Carla Ferreira (Editor), Claudio Antares Mezzina (Editor)
#15732 in Series
Paperback $64.99
Title: Distributed Applications and Interoperable Systems: 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proc, Author: Daniel Balouek
QUICK ADD
Distributed Applications and…
by Daniel Balouek (Editor), Ibéria Medeiros (Editor)
#15730 in Series
Paperback $54.99
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: Go Where the Bugs Are: Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday, Author: Gidon Ernst
QUICK ADD
Go Where the Bugs Are: Essays…
by Gidon Ernst (Editor), Matthias Güdemann (Editor), Alexander Knapp (Editor), Florian Nafz (Editor), Frank Ortmeier (Editor)
#15765 in Series
Paperback $74.99
Title: Requirements Engineering: Foundation for Software Quality: 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings, Author: Anne Hess
QUICK ADD
Requirements Engineering:…
by Anne Hess (Editor), Angelo Susi (Editor)
#15588 in Series
eBook $129.00
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
Paperback $139.99
Title: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, Author: José Proença
QUICK ADD
Software Engineering and…
by José Proença (Editor), Raul Fervari (Editor), Manuel A. Martins (Editor), Reinhard Kahle (Editor), Graham Pluck (Editor)
#15551 in Series
Paperback $79.99
Title: Quantum Computing: Principles and Paradigms, Author: Rajkumar Buyya Ph.D.
QUICK ADD
Quantum Computing: Principles…
by Rajkumar Buyya Ph.D. (Editor), Sukhpal Singh Gill Ph.D. (Editor)
eBook $180.00
Title: Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming, Author: Sanjiban Sekhar Roy Ph.D.
QUICK ADD
Python Fast Track: A Complete…
by Sanjiban Sekhar Roy Ph.D., Arnav Chouhan Research Assistant, Naman Khera Research Assistant
eBook $180.00
Title: Quantum Computing: Principles and Paradigms, Author: Rajkumar Buyya Ph.D.
QUICK ADD
Quantum Computing: Principles…
by Rajkumar Buyya Ph.D. (Editor), Sukhpal Singh Gill Ph.D. (Editor)
Paperback $180.00
Title: Distributed Applications and Interoperable Systems: 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proc, Author: Daniel Balouek
QUICK ADD
Distributed Applications and…
by Daniel Balouek (Editor), Ibéria Medeiros (Editor)
#15730 in Series
eBook $54.99
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
QUICK ADD
Clean Code: A Handbook of…
by Robert Martin
Explore Series
Paperback $79.79
Title: Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, Author: Cinzia Di Giusto
QUICK ADD
Coordination Models and…
by Cinzia Di Giusto (Editor), António Ravara (Editor)
#15731 in Series
eBook $74.99
Title: Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, Author: Cinzia Di Giusto
QUICK ADD
Coordination Models and…
by Cinzia Di Giusto (Editor), António Ravara (Editor)
#15731 in Series
Paperback $74.99

Pagination Links