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. 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. 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. 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. 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. 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
1533398
|
Anna-Lena Lamprecht
|
9783319516417 |
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: Discussion, Dissemination, Applications
1531214
|
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)
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 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 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 IV (Lecture Notes in Computer Science #12479)
4196878
|
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)
4484078
|
Tiziana Margaria
Bernhard Steffen
|
9783030891596 |
2021 |
Contains images
|
|
Leveling Up with SQL: Advanced Techniques for Transforming Data into Insights
5578717
|
Mark Simon
|
9781484296851 |
2023 |
Contains images
|
|
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
|
Level Up Your Web Apps With Go: Performance, Concurrency, Scalability
2481043
|
Mal Curtis
|
9781457192869 |
2015 |
Contains images
|
|
Level Up! The Guide to Great Video Game Design
5791487
|
Scott Rogers
|
9781118877197 |
2014 |
Contains images
|
|
Level Up! The Guide to Great Video Game Design
855227
|
Scott Rogers
|
9781118877197 |
2014 |
Contains images
|
|
Level Up 2024: An AFK Book
5517169
|
Catalysed Productions
|
9781339017419 |
2023 |
Contains images
|
|
Level Up 2023: An Afk Book
5017295
|
Scholastic
|
9781338890471 |
2022 |
Contains images
|
|
Level Up!
840390
|
Scott Rogers
|
9780470970928 |
2010 |
Contains images
|
|
Level Set Methods for Fluid-Structure Interaction (Applied Mathematical Sciences #210)
4955912
|
Georges-Henri Cottet
Emmanuel Maitre
Thomas Milcent
|
9783031086595 |
2022 |
Contains images
|
|
Level Design: Concept, Theory, and Practice
5907978
|
Rudolf Kremers
|
9781040079324 |
2009 |
Contains images
|
|
Level Design: Processes and Experiences
4384102
|
Christopher W. Totten
|
9781315313399 |
2017 |
Contains images
|
|