Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (Lecture Notes in Computer Science #7610)
4699397
|
Tiziana Margaria
Bernhard Steffen
|
9783642340321 |
2012 |
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science #17)
4799410
|
Tiziana Margaria
Bernhard Steffen
|
9783540884798 |
2008 |
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III (Lecture Notes in Computer Science #13703)
5003512
|
Tiziana Margaria
Bernhard Steffen
|
9783031197598 |
2022 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11246)
4615289
|
Tiziana Margaria
Bernhard Steffen
|
9783030034245 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Iv (Lecture Notes in Computer Science #11247)
4609583
|
Tiziana Margaria
Bernhard Steffen
|
9783030034276 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11244)
4833970
|
Tiziana Margaria
Bernhard Steffen
|
9783030034184 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science #13704)
5003479
|
Tiziana Margaria
Bernhard Steffen
|
9783031197628 |
2022 |
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)
5239637
|
Tiziana Margaria
Bernhard Steffen
|
9783031197567 |
2022 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Lecture Notes in Computer Science #8803)
2880150
|
Tiziana Margaria
Bernhard Steffen
|
9783662452318 |
2014 |
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science #8802)
2880151
|
Tiziana Margaria
Bernhard Steffen
|
9783662452349 |
2014 |
|
|
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)
4668155
|
Tiziana Margaria
Bernhard Steffen
|
9783030034214 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13701)
5003509
|
Tiziana Margaria
Bernhard Steffen
|
9783031198496 |
2022 |
Contains images
|
|
Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure
4999774
|
M. Z. Naser
|
9781000788990 |
2023 |
|
|
Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure
4999775
|
M. Z. Naser
|
9781000789058 |
2023 |
Contains images
|
|
Leveraging Consumer Psychology for Effective Health Communications: The Obesity Challenge
3261075
|
Rajeev Batra
Victor J. Strecher
Punam Anand Keller
|
9781317466161 |
2011 |
|
|
Leveraging Consumer Psychology for Effective Health Communications: The Obesity Challenge
5336659
|
Rajeev Batra
Victor J. Strecher
Punam Anand Keller
|
9781317466154 |
2011 |
Contains images
|
|
Leveraging Digital Tools to Assess Student Learning (Student Assessment for Educators)
4362874
|
Stephanie Smith Budhai
|
9781000479256 |
2022 |
|
|
Leveraging Digital Tools to Assess Student Learning (Student Assessment for Educators)
4362880
|
Stephanie Smith Budhai
|
9781000479263 |
2022 |
Contains images
|
|
Leveraging Emotional and Artificial Intelligence for Organisational Performance
5290623
|
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 II (Lecture Notes in Computer Science #14458)
5747509
|
Dion H. Goh
Shu-Jiun Chen
Suppawong Tuarob
|
9789819980888 |
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)
5747518
|
Dion H. Goh
Shu-Jiun Chen
Suppawong Tuarob
|
9789819980857 |
2023 |
Contains images
|
|
Leveraging Knowledge for Innovation in Collaborative Networks: 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009, Proceedings (IFIP Advances in Information and Communication Technology #307)
4626610
|
Luis M. Camarinha-Matos
Iraklis Paraskakis
Hamideh Afsarmanesh
|
9783642045684 |
2009 |
|
|
Leveraging Mobile Media: Cross-Media Strategy and Innovation Policy for Mobile Media Communication (Information Age Economy)
4812052
|
Valerie Feldmann
|
9783790816334 |
2005 |
|
|
Leveraging the Semantics of Topic Maps: Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected papers (Lecture Notes in Computer Science #4438)
4790229
|
Lutz Maicher
Alexander Sigel
Lars Marius Garshol
|
9783540719458 |
2007 |
|
|
Leveraging the Wisdom of the Crowd in Software Testing
2639459
|
Mukesh Sharma
Rajini Padmanaban
|
9781482254495 |
2015 |
|
|