Browse Results

Showing 33,951 through 33,975 of 61,761 results
Title Author ISBN Copyright Features Action
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II (Lecture Notes in Computer Science #15220) 6233926 Tiziana Margaria Bernhard Steffen 9783031751073 2025 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science #15222) 6232426 Tiziana Margaria Bernhard Steffen 9783031753879 2025 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13702) 5239191 Tiziana Margaria Bernhard Steffen 9783031197567 2022 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III (Lecture Notes in Computer Science #15221) 6239558 Tiziana Margaria Bernhard Steffen 9783031753800 2025 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part Ii (Lecture Notes in Computer Science #7610) 3757518 Tiziana Margaria Bernhard Steffen 9783030034214 2018 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings (Lecture Notes in Computer Science #13036) 4484078 Tiziana Margaria Bernhard Steffen 9783030891596 2021 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12476) 3700594 Tiziana Margaria Bernhard Steffen 9783030613624 2020 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12477) 3699902 Tiziana Margaria Bernhard Steffen 9783030614706 2020 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (Lecture Notes in Computer Science #12478) 3652868 Tiziana Margaria Bernhard Steffen 9783030614676 2020 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (Lecture Notes in Computer Science #12479) 4196878 Tiziana Margaria Bernhard Steffen 9783030837235 2021 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 1531214 Tiziana Margaria Bernhard Steffen 9783319471693 2016 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 1531213 Tiziana Margaria Bernhard Steffen 9783319471662 2016 Contains images
Leveraging Applications of Formal Methods, Verification, and Validation 1533398 Anna-Lena Lamprecht 9783319516417 2016 Contains images
Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure 5000149 M. Z. Naser 9781000789058 2023 Contains images
Leveraging Blockchain Technology: Governance, Risk, Compliance, Security, and Benevolent Use Cases (Security, Audit and Leadership Series) 6297727 Shaun Aghili 9781040165263 2025 Contains images
Leveraging Computer Vision to Biometric Applications (Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series) 6204563 Valentina E. Balas Arvind Selwal Sudeshna Chakraborty Deepika Sharma Mukesh Mann Ouh Eng Lieh 9781040120590 2025 Contains images
Leveraging Consumer Psychology for Effective Health Communications: The Obesity Challenge 5340488 Victor J. Strecher Rajeev Batra Punam Anand Keller 9781317466154 2011 Contains images
Leveraging Digital Marketing for Tourism: Exploring Strategies and Applications in Contemporary Tourism Markets (Tourism on the Verge) 6601707 Bruno Barbosa Sousa José Duarte Santos Paulo Botelho Pires 9783031885822 2025 Contains images
Leveraging Digital Tools to Assess Student Learning (Student Assessment for Educators) 4362803 Stephanie Smith Budhai 9781000479263 2022 Contains images
Leveraging Drupal 835043 Victor Kane 9780470549360 2009 Contains images
Leveraging Emerging Technologies and Analytics for Empowering Humanity, Vol. 1: International Conference Proceedings of LEAD-2024, IIM Shillong, December 10–12 (Springer Proceedings in Business and Economics) 6560216 Somnath Mukhopadhyay Suprateek Sarker D P Goyal Basav Roychoudhury Parijat Upadhyay Pradeep Kumar Dadabada 9789819625482 2025 Contains images
Leveraging Emotional and Artificial Intelligence for Organisational Performance 5290652 Catherine Prentice 9789819918652 2023 Contains images
Leveraging Generative Intelligence in Digital Libraries: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14457) 5747496 Dion H. Goh Shu-Jiun Chen Suppawong Tuarob 9789819980857 2023 Contains images
Leveraging Generative Intelligence in Digital Libraries: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14458) 5747525 Dion H. Goh Shu-Jiun Chen Suppawong Tuarob 9789819980888 2023 Contains images
Leveraging the New Infrastructure 1098308 Peter Weill Marianne Broadbent 9781633692022 1998 Contains images

Refine Search

Showing 33,951 through 33,975 of 61,761 results