A Tool for Determining e-Learning Readiness (SpringerBriefs in Educational Communications and Technology)
4209500
|
Cathy James-Springer
Katherine Cennamo
|
9783030769949 |
2021 |
Contains images
|
|
Toolbook: Herramientas para comprender el mundo que viene
5247720
|
Alejandro Curcio
Hugo Burel
|
9789915678009 |
2023 |
Contains images
|
|
Toolbox Digital Business: Leadership, Business Models, Technologies and Change (Management for Professionals)
4548405
|
Ralf T. Kreutzer
|
9783658370176 |
2022 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Part I (Lecture Notes in Computer Science #10805)
2275636
|
Dirk Beyer
Marieke Huisman
|
9783319899602 |
2018 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Part I (Lecture Notes in Computer Science #10805)
2275637
|
Dirk Beyer
Marieke Huisman
|
9783319899633 |
2018 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11429)
2596812
|
Dirk Beyer
Marieke Huisman
Fabrice Kordon
Bernhard Steffen
|
9783030175023 |
2019 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III (Lecture Notes in Computer Science #14572)
5963062
|
Bernd Finkbeiner
Laura Kovács
|
9783031572562 |
2024 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14571)
6006510
|
Bernd Finkbeiner
Laura Kovács
|
9783031572494 |
2024 |
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14570)
6007887
|
Bernd Finkbeiner
Laura Kovács
|
9783031572463 |
2024 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I (Lecture Notes in Computer Science #15696)
6538915
|
Arie Gurfinkel
Marijn Heule
|
9783031906435 |
2025 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III (Lecture Notes in Computer Science #15698)
6539032
|
Arie Gurfinkel
Marijn Heule
|
9783031906602 |
2025 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11429)
3406036
|
Fabrice Kordon
Marieke Huisman
Bernhard Steffen
Dirk Beyer
|
9783030175023 |
2019 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems
1535827
|
Axel Legay
Tiziana Margaria
|
9783662545775 |
2001 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems
1535828
|
Axel Legay
Tiziana Margaria
|
9783662545805 |
2001 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science #13994)
5442487
|
Sriram Sankaranarayanan
Natasha Sharygina
|
9783031308208 |
2023 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science #13993)
5446028
|
Sriram Sankaranarayanan
Natasha Sharygina
|
9783031308239 |
2023 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11428)
2603098
|
Tomáš Vojnar
Lijun Zhang
|
9783030174651 |
2019 |
Contains images
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11427)
2868361
|
Tomáš Vojnar
Lijun Zhang
|
9783030174620 |
2019 |
Contains images
|
|
Tools and Methods of Program Analysis
1845828
|
Vladimir Itsykson
Andre Scedrov
Victor Zakharov
|
9783319717340 |
2018 |
Contains images
|
|
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers (Communications in Computer and Information Science #1288)
3959007
|
Anna Kalenkova
Jose A. Lozano
Rostislav Yavorskiy
|
9783030714727 |
2021 |
Contains images
|
|
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers (Communications in Computer and Information Science #1559)
5796261
|
Rostislav Yavorskiy
Ana Rosa Cavalli
Anna Kalenkova
|
9783031504235 |
2024 |
Contains images
|
|
Tools and Skills for .NET 8: Get the career you want with good practices and patterns to design, debug, and test your solutions
6444677
|
Mark J. Price
|
9781837633685 |
2024 |
Contains images
|
|
Tools and Techniques for High Performance Computing: Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers (Communications in Computer and Information Science #1190)
3409491
|
Sunita Chandrasekaran
Guido Juckeland
|
9783030447281 |
2020 |
Contains images
|
|
Tools and Weapons: The Promise and the Peril of the Digital Age
4229180
|
Brad Smith
Carol Browne
|
9781984877727 |
2019 |
Contains images
|
|
Tools and Weapons: The Promise and the Peril of the Digital Age
4196135
|
Brad Smith
Carol Ann Browne
|
9781529351590 |
2019 |
Contains images
|
|