Browse Results

Showing 56,626 through 56,650 of 60,640 results
Title Author ISBN Copyright Features Action
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

Refine Search

Showing 56,626 through 56,650 of 60,640 results