Browse Results

Showing 9,101 through 9,125 of 85,854 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 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 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 Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) 4577102 Krishna Siddharth Patel Nisarg Shasha Dennis Wies Thomas 9783031018060 2021
Automated Web Site Evaluation: Researchers’ and Practioners’ Perspectives (Human–Computer Interaction Series #4) 4800201 M.Y. Ivory 9789401703758 2003 Contains images
Automated Workflow Scheduling in Self-Adaptive Clouds: Concepts, Algorithms and Methods (Computer Communications and Networks) 2243494 G. Kousalya P. Balakrishnan C. Pethuru Raj 9783319569826 2017 Contains images
Automatic Algorithm Selection for Complex Simulation Problems 4701642 Roland Ewald 9783834881519 2012
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects 2231497 Nuno Lourenço Ricardo Martins Nuno Horta 9783319420370 2017 Contains images
Automatic Assessment of Parkinsonian Speech: First Workshop, AAPS 2019, Cambridge, Massachussets, USA, September 20–21, 2019, Revised Selected Papers (Communications in Computer and Information Science #1295) 3876273 Juan I. Godino-Llorente 9783030656546 2020 Contains images
Automatic Autocorrelation and Spectral Analysis 4719345 Petrus M.T. Broersen 9781846283291 2006
Automatic Calibration and Reconstruction for Active Vision Systems (Intelligent Systems, Control and Automation: Science and Engineering #57) 4714895 Beiwei Zhang Y. F. Li 9789400726543 2012 Contains images

Refine Search

Showing 9,101 through 9,125 of 85,854 results