Browse Results

Showing 7,001 through 7,025 of 62,727 results
Title Author ISBN Copyright Features Action
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science #13505) 4961763 Ahmed Bouajjani Lukáš Holík Zhilin Wu 9783031199929 2022 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14215) 5680782 Jun Sun Étienne André 9783031453298 2023 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14216) 5670141 Jun Sun Étienne André 9783031453328 2023 Contains images
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I (Lecture Notes in Computer Science #15054) 6464789 Sriram Sankaranarayanan S. Akshay Aina Niemetz 9783031787096 2025 Contains images
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II (Lecture Notes in Computer Science #15055) 6479420 Sriram Sankaranarayanan S. Akshay Aina Niemetz 9783031787508 2025 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, 2nd Edition 4389620 Luc van Vugt 9781801814409 2021 Contains images
Automated Testing in Microsoft Dynamics 365 Business Central: Efficiently automate test cases in Dynamics NAV and Business Central 3991219 Luc van Vugt 9781789804218 2019 Contains images
Automated Trading with R 1517627 Chris Conlan 9781484221785 2016 Contains images
Automated Unit Testing with ABAP: A Practical Approach 3956530 James E. McDonough 9781484269510 2021 Contains images
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers 2114429 Robert Wille Rolf Drechsler Nils Przigoda Judith Przigoda 9783319728148 2018 Contains images
Automated Workflow Scheduling in Self-Adaptive Clouds: Concepts, Algorithms and Methods (Computer Communications and Networks) 2112325 G. Kousalya P. Balakrishnan C. Pethuru Raj 9783319569826 2017 Contains images
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization 186999 Robert Metzger Zhaofang Wen 9780262133685 2000
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) 3758546 Juan I. Godino-Llorente 9783030656546 2020 Contains images
Automatic Calibration and Reconstruction for Active Vision Systems (Intelligent Systems, Control and Automation: Science and Engineering #57) 2134931 Y. F. Li Beiwei Zhang 9789400726543 2011 Contains images
Automatic Control Systems in Biomedical Engineering: An Interactive Educational Approach 1981078 J. Fernández de Cañete C. Galindo J. Barbancho A. Luque 9783319757179 2018 Contains images
Automatic Control Systems: With MATLAB 4547380 S. Palani 9783030934453 2022 Contains images
Automatic Control and Emerging Technologies: Proceedings of ACET 2023 (Lecture Notes in Electrical Engineering #1141) 5911361 Weicun Zhang Hassan El Fadil 9789819701261 2024 Contains images
Automatic Control with Interactive Tools 5431564 Manuel Berenguel José Luis Guzmán Ramon Costa-Castelló Sebastián Dormido 9783031099205 2023 Contains images
Automatic Defense Against Zero-day Polymorphic Worms in Communication Networks 3084846 Mohssen Mohammed Al-Sakib Khan Pathan 9781482219050 2013 Contains images
Automatic Design of Decision-Tree Induction Algorithms (SpringerBriefs in Computer Science) 2106343 Rodrigo C. Barros André C.P.L.F de Carvalho Alex A. Freitas 9783319142319 2015 Contains images
Automatic Digital Document Processing and Management: Problems, Algorithms and Techniques (Advances in Computer Vision and Pattern Recognition) 2099501 Stefano Ferilli 9780857291981 2011 Contains images
Automatic Generation Of Algorithms (Advances in Metaheuristics) 6427176 Victor Parada 9781040307113 2025 Contains images
Automatic Generation of Combinatorial Test Data (SpringerBriefs in Computer Science) 5786960 Jian Zhang Zhiqiang Zhang Feifei Ma 9783662434291 2014 Contains images
Automatic Language Identification in Texts (Synthesis Lectures on Human Language Technologies) 5872792 Krister Lindén Marcos Zampieri Tommi Jauhiainen Timothy Baldwin 9783031458224 2024 Contains images
Automatic Malware Analysis: An Emulator Based Approach (SpringerBriefs in Computer Science) 2101714 Heng Yin Dawn Song 9781461455233 2013 Contains images

Refine Search

Showing 7,001 through 7,025 of 62,727 results