1- 20 of 1516 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 Pre-Order Now
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 Pre-Order Now
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
eBook $74.99
Title: Mathematical and Computational Modelling Across the Scales: Lecture Notes of the XX Jacques-Louis Lions Spanish-French School, Barcelona, Spain, July 3-7, 2023, Author: Pedro Diez Pre-Order Now
QUICK ADD
Mathematical and Computational…
by Pedro Diez (Editor), Matteo Giacomini (Editor)
#39 in Series
eBook $159.00
Title: Dynamic Models of Energy, Robotic, and Biological Systems: Systems, Design, and Validation, Author: Jose de Jesus Rubio
QUICK ADD
Dynamic Models of Energy,…
by Jose de Jesus Rubio, Alejandro Zacarias, Jaime Pacheco
eBook $189.00
Title: Systems Modelling and Simulation: First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings, Author: Zaharuddin Mohamed
QUICK ADD
Systems Modelling and…
by Zaharuddin Mohamed (Editor), Fazilah Hassan (Editor), Gary Tan (Editor), Anita Ahmad (Editor), Leow Pei Ling (Editor)
#2483 in Series
eBook $64.99
Title: Model and Data Engineering: 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings, Author: Carlos Ordonez
QUICK ADD
Model and Data Engineering:…
by Carlos Ordonez (Editor), Giancarlo Sperlì (Editor), Elio Masciari (Editor), Ladjel Bellatreche (Editor)
#15590 in Series
eBook $139.00
Title: Building Integrations with MuleSoft: Integrating Systems and Unifying Data in the Enterprise, Author: Pooja Kamath
QUICK ADD
Building Integrations with…
by Pooja Kamath, Diane Kesler
eBook $50.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: Software, System, and Service Engineering: S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers, Author: Geylani Kardas
QUICK ADD
Software, System, and Service…
by Geylani Kardas (Editor), Ivan Lukovic (Editor), Boris Milasinovic (Editor), Aleksandar Popovic (Editor), Lukasz Radlinski (Editor)
#542 in Series
eBook $64.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
eBook $129.00
Title: Guide to Software Project Management, Author: Gerard O'Regan
QUICK ADD
Guide to Software Project…
by Gerard O'Regan
Explore Series
eBook $54.99
Title: Computer Aided Systems Theory - EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III, Author: Alexis Quesada-Arencibia
QUICK ADD
Computer Aided Systems Theory …
by Alexis Quesada-Arencibia (Editor), Michael Affenzeller (Editor), Roberto Moreno-Díaz (Editor)
#15174 in Series
eBook $74.99
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: Computer Aided Systems Theory - EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I, Author: Alexis Quesada-Arencibia
QUICK ADD
Computer Aided Systems Theory …
by Alexis Quesada-Arencibia (Editor), Michael Affenzeller (Editor), Roberto Moreno-Díaz (Editor)
#15172 in Series
eBook $79.99
Title: Computer Aided Systems Theory - EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II, Author: Alexis Quesada-Arencibia
QUICK ADD
Computer Aided Systems Theory …
by Alexis Quesada-Arencibia (Editor), Michael Affenzeller (Editor), Roberto Moreno-Díaz (Editor)
#15173 in Series
eBook $79.99
Title: Transactions on Pattern Languages of Programming V, Author: Eugene Wallingford
QUICK ADD
Transactions on Pattern…
by Eugene Wallingford (Editor), Uwe Zdun (Editor), Christian Kohls (Editor)
#14630 in Series
eBook $99.99
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: 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: Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Cláudio Gomes (Editor), Zhiming Liu (Editor)
#15584 in Series
eBook $59.99
Title: Managing Software Supply Chains: Theory and Practice, Author: Ying Wang
QUICK ADD
Managing Software Supply…
by Ying Wang, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
eBook $199.99

Pagination Links