Browse Results

Showing 71,101 through 71,125 of 100,000 results
Title Author ISBN Copyright Features Action
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science #8172) 4736803 Dang Van Hung Mizuhito Ogawa 9783319024448 2013
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science #12302) 3735503 Dang Van Hung Oleg Sokolsky 9783030591526 2020 Contains images
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science #11138) 2241550 Shuvendu K. Lahiri Chao Wang 9783030010904 2018 Contains images
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science #5799) 4796438 Zhiming Liu Anders P. Ravn 9783642047619 2009
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science #7561) 4727771 Madhavan Mukund Supratik Chakraborty 9783642333866 2012
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science #4762) 4693482 Kedar Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura 9783540755968 2007
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science #3707) 4672446 Doron A. Peled Yih-Kuen Tsay 9783540319696 2005
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science #3299) 4725864 Farn Wang 9783540304760 2004
Automated Testing in Microsoft Dynamics 365 Business Central: Efficiently Automate Test Cases In Dynamics Nav And Business Central 2885906 Luc Van Vugt 9781789804935 2019 Contains images
Automated Testing In Microsoft Dynamics 365 Business Central: Efficiently Automate Test Cases For Faster Development Cycles With Less Time Needed For Manual Testing 4381585 Luc Van Vugt 9781801816427 2021 Contains images
Automated Theorem Proving (Künstliche Intelligenz) 4676226 Wolfgang Bibel 9783322901026 1987
Automated Theorem Proving 4733119 Wolfgang Bibel 9783322901002 1982
Automated Theorem Proving: Theory and Practice 3745490 Monty Newborn 9781461300892 2001
Automated Theorem Proving in Software Engineering 4807253 Johann M. Schumann 9783662226469 2001 Contains images
Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science #1) 3958108 D.W. Loveland 9781483296777 1978
Automated Theory Formation in Pure Mathematics (Distinguished Dissertations) 3739801 Simon Colton 9781447101475 2002 Contains images
Automated Trading with R: Quantitative Research and Platform Development 2770373 Chris Conlan 9781484221785 2016 Contains images
Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering) 2738275 Rongfang Liu 9781119289906 2016 Contains images
Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering) 2898695 Rongfang Liu 9781119289883 2016
Automated Unit Testing with ABAP: A Practical Approach 3955787 James E. McDonough 9781484269510 2021 Contains images
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers 2255972 Nils Przigoda Robert Wille Judith Przigoda Rolf Drechsler 9783319728148 2018 Contains images
Automated Vehicles and MaaS: Removing the Barriers (Wiley - IEEE) 4001368 Bob Williams 9781119765332 2021
Automated Vehicles and MaaS: Removing the Barriers (Wiley - IEEE) 4008942 Bob Williams 9781119765387 2021 Contains images
Automated Vehicles as a Game Changer for Sustainable Mobility: Learnings and Solutions (Contributions to Management Science) 6138058 Danielle Attias Adrian Boos Dimitri Konstantas Guy Fournier 9783031616815 2024 Contains images
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) 4577102 Krishna Siddharth Patel Nisarg Shasha Dennis Wies Thomas 9783031018060 2021

Refine Search

Showing 71,101 through 71,125 of 100,000 results