Browse Results

Showing 47,601 through 47,625 of 82,513 results
Title Author ISBN Copyright Features Action
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

Refine Search

Showing 47,601 through 47,625 of 82,513 results