1- 12 of 12 results
Grid View Grid
List View List
Grid View Grid
List View List
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
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: 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
Paperback $129.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: 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: Learn Go with Pocket-Sized Projects, Author: Aliénor Latour
QUICK ADD
Learn Go with Pocket-Sized…
by Aliénor Latour, Donia Chaiehloudj, Pascal Bertrand
Paperback $59.99
Title: Modern C, Third Edition: Covers the C23 standard, Author: Jens Gustedt
QUICK ADD
Modern C, Third Edition:…
by Jens Gustedt
Paperback $59.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
Paperback $139.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)
Paperback $180.00
Title: Responsible Software Engineering: With Real-World Case Studies from Google, Author: Daniel J Barrett
QUICK ADD
Responsible Software…
by Daniel J Barrett
Paperback $59.99
Title: Simulation Tools and Techniques: 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings, Author: Angel A. Juan
QUICK ADD
Simulation Tools and…
by Angel A. Juan (Editor), José-Luis Guisado-Lizar (Editor), María-José Morón-Fernández (Editor), Elena Perez-Bernabeu (Editor)
#603 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