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