Browse Results

Showing 59,876 through 59,900 of 64,274 results
Title Author ISBN Copyright Features Action
Tomorrow's Systems Engineering: Commentaries on the Profession 4929461 Howard Eisner 9781000635072 2023
Tomorrows Versus Yesterdays: Conversations in Defense of the Future 5274541 Andrew Keen 9781838951139 2020
Tony White's Animator's Notebook: Personal Observations on the Principles of Movement 5101031 Tony White 9781136131974 2011 Contains images
Too Big to Know 1152415 David Weinberger 9780465028139 2011 Contains images
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

Refine Search

Showing 59,876 through 59,900 of 64,274 results