Browse Results

Showing 99,626 through 99,650 of 100,000 results
Title Author ISBN Copyright Features Action
Tools and Trends in Bioanalytical Chemistry 4372336 Lauro Tatsuo Kubota José Alberto Fracassi da Silva Marcelo Martins Sena Wendel Andrade Alves 9783030823818 2022 Contains images
Tools and Their Uses 1929697 U.S. Bureau of Naval Personnel 9780486152448 1973 Contains images
Tools and Techniques of Leadership and Management: Meeting the Challenge of Complexity 4822038 Ralph Stacey 9781136296796 2012
Tools and Techniques in Radiation Biophysics 5791211 Ashima Pathak 9789819960866 2023 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 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 Problems in Partial Differential Equations (Universitext) 3685210 Thomas Alazard Claude Zuily 9783030502843 2020 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 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 1845828 Vladimir Itsykson Andre Scedrov Victor Zakharov 9783319717340 2018 Contains images
Tools and Mathematics 1402075 Jonathan M. Borwein Luc Trouche John Monaghan 9783319023960 2016 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: 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 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: 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 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: 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: 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: 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 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: 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

Refine Search

Showing 99,626 through 99,650 of 100,000 results