Browse Results

Showing 49,176 through 49,200 of 85,166 results
Title Author ISBN Copyright Features Action
Level Up! The Guide to Great Video Game Design 2925788 Scott Rogers 9781118877210 2014
Level Up! The Guide to Great Video Game Design: The Guide To Great Video Game Design 5791476 Scott Rogers 9781118877197 2014 Contains images
Level Up: Last One Standing (Level Up) 3575403 Tom Nicoll 9781788952125 2020
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
Leveling Up with SQL: Advanced Techniques for Transforming Data into Insights 5576540 Mark Simon 9781484296851 2023 Contains images
Levels of Perception 3818781 Laurence Harris Michael Jenkin 9780387226736 2003
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science #4313) 4690948 Tiziana Maragria Bernhard Steffen 9783540489290 2006
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers (Communications in Computer and Information Science #336) 4598874 Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen 9783642347818 2012
Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers (Communications in Computer and Information Science #683) 2854837 Anna-Lena Lamprecht 9783319516417 2016 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9952) 2853020 Tiziana Margaria Bernhard Steffen 9783319471662 2016 Contains images
Leveraging Applications of Formal Methods, Verification and Validation: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Lecture Notes in Computer Science #9953) 2853042 Tiziana Margaria Bernhard Steffen 9783319471693 2016 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) 3652412 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 II (Lecture Notes in Computer Science #12477) 3709850 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 I (Lecture Notes in Computer Science #12476) 3710025 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 IV (Lecture Notes in Computer Science #12479) 4196888 Tiziana Margaria Bernhard Steffen 9783030837235 2021 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) 4484040 Tiziana Margaria Bernhard Steffen 9783030891596 2021 Contains images
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II (Lecture Notes in Computer Science #6416) 4625212 Tiziana Margaria Bernhard Steffen 9783642165610 2010
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I (Lecture Notes in Computer Science #6415) 4684340 Tiziana Margaria Bernhard Steffen 9783642165580 2010
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Lecture Notes in Computer Science #7609) 4691566 Tiziana Margaria Bernhard Steffen 9783642340260 2012
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

Refine Search

Showing 49,176 through 49,200 of 85,166 results