Browse Results

Showing 34,726 through 34,750 of 63,009 results
Title Author ISBN Copyright Features Action
Leveling the Playing Field: Improving Technology Access and Design for People with Intellectual Disabilities 1122934 Presidents Committee for People w/Intellectual Disabilities 2015 Contains images
Leveraging AI for Human-Centered Learning: Culturally Responsive and Social-Emotional Classroom Practice in Grades 6-12 6683060 Marlee S. Bunch Brittany R. Collins 9781040342541 2025 Contains images
Leveraging Advanced Technologies: ICBT 2024, Volume 3 (Lecture Notes in Networks and Systems #1574) 6696177 Allam Hamdan Bahaaeddin Alareeni 9783032004475 2025 Contains images
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) 4961081 Tiziana Margaria Bernhard Steffen 9783031197598 2022 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V (Lecture Notes in Computer Science #15223) 6302608 Tiziana Margaria Bernhard Steffen 9783031753909 2025 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) 3758252 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) 3756396 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) 3756423 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) 4960439 Tiziana Margaria Bernhard Steffen 9783031197628 2022 Contains images
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I (Lecture Notes in Computer Science #15219) 6229440 Tiziana Margaria Bernhard Steffen 9783031737091 2025 Contains images
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 Cloud, Edge, Fog and Mobile Computing (Advances in Computational Collective Intelligence) 6773822 Shrikaant Kulkarni Jaiprakash Narain Dwivedi P. William Vijaya Prakash 9781040357934 2026 Contains images
Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure 5000149 M. Z. Naser 9781000789058 2023 Contains images

Refine Search

Showing 34,726 through 34,750 of 63,009 results