Browse Results

Showing 58,701 through 58,725 of 63,034 results
Title Author ISBN Copyright Features Action
Too Big to Know: Rethinking Knowledge Now That the Facts Aren't the Facts, Experts Are Everywhere, and the Smartest Person in the Room Is the Room 4032841 David Weinberger 9780465038725 2011 Contains images
Too Much Fun: The Five Lives of the Commodore 64 Computer (Platform Studies) 6325961 Jesper Juul 9780262380560 2024 Contains images
Too Smart: How Digital Capitalism is Extracting Data, Controlling Our Lives, and Taking Over the World (The\mit Press Ser.) 3496776 Jathan Sadowski 9780262357944 2020
Toolbook: Herramientas para comprender el mundo que viene 5247720 Hugo Burel Alejandro Curcio 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 1535827 Tiziana Margaria Axel Legay 9783662545775 2001 Contains images
Tools and Algorithms for the Construction and Analysis of Systems 1535828 Tiziana Margaria Axel Legay 9783662545805 2001 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 Marieke Huisman Dirk Beyer 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 Marieke Huisman Dirk Beyer 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 Fabrice Kordon Marieke Huisman Bernhard Steffen Dirk Beyer 9783030175023 2019 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: 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 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: 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 Natasha Sharygina Sriram Sankaranarayanan 9783031308239 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 II (Lecture Notes in Computer Science #13994) 5442487 Natasha Sharygina Sriram Sankaranarayanan 9783031308208 2023 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 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: 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 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: 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 II (Lecture Notes in Computer Science #15697) 6539077 Arie Gurfinkel Marijn Heule 9783031906534 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 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 Ana Rosa Cavalli Anna Kalenkova Rostislav Yavorskiy 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

Refine Search

Showing 58,701 through 58,725 of 63,034 results