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
|
|