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
|
|
Tools and Weapons: The Promise and the Peril of the Digital Age
4842365
|
Brad Smith
Carol Ann Browne
|
9781529351606 |
2019 |
Human Narrated Audio
|
|
Tools for Activating Data Marketplace: Toward Innovations with Data-mediated Communications (Understanding Innovation)
5026966
|
Teruaki Hayashi
Yukio Ohsawa
|
9783031061455 |
2022 |
Contains images
|
|
Tools for Computational Finance
1703493
|
Rüdiger U. Seydel
|
9781447173380 |
2017 |
Contains images
|
|
Tools for Design, Implementation and Verification of Emerging Information Technologies: 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #523)
5878624
|
Jianghua Liu
Lei Xu
Xinyi Huang
|
9783031513992 |
2024 |
Contains images
|
|
Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th EAI International Conference, TridentCom 2020, Virtual Event, November 13, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #380)
4095460
|
Yu Weng
Yuyu Yin
Li Kuang
Zijian Zhang
|
9783030774288 |
2021 |
Contains images
|
|