Browse Results

Showing 4,951 through 4,975 of 55,525 results
Title Author ISBN Copyright Features Action
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science #9938) 2852016 Cyrille Artho Axel Legay Doron Peled 9783319465203 2016 Contains images
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science #8837) 2816946 Franck Cassez Jean-François Raskin 9783319119366 2014
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2943293 Yu-Fang Chen Chih-Hong Cheng Javier Esparza 9783030317843 2019 Contains images
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science #9364) 2835612 Bernd Finkbeiner Geguang Pu Lijun Zhang 9783319249537 2015 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 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: 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 Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) 4577102 Krishna Siddharth Patel Nisarg Shasha Dennis Wies Thomas 9783031018060 2021
Automatentheorie und Logik (eXamen.press) 4788170 Martin Hofmann Martin Lange 9783642180903 2011
Automatic Autocorrelation and Spectral Analysis 4719345 Petrus M.T. Broersen 9781846283291 2006
Automatic Control of Atmospheric and Space Flight Vehicles: Design and Analysis with MATLAB® and Simulink® (Control Engineering) 3727084 Ashish Tewari 9780817648640 2011 Contains images
Automatic Differentiation: (pdf) (Lecture Notes in Computational Science and Engineering #50) 4031643 H. Martin Bücker George Corliss Paul Hovland Uwe Naumann Boyana Norris 9783540284383 2006
Automatic Language Identification in Texts (Synthesis Lectures on Human Language Technologies) 5872141 Tommi Jauhiainen Marcos Zampieri Timothy Baldwin Krister Lindén 9783031458224 2024 Contains images
Automatic Nonuniform Random Variate Generation (Statistics and Computing) 4607171 Wolfgang Hörmann Josef Leydold Gerhard Derflinger 9783662059463 2004
Automatic SIMD Vectorization of SSA-based Control Flow Graphs 2874493 Ralf Karrenberg 9783658101138 2015
Automatic Speech Analysis and Recognition: Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 29–July 10, 1981 (Nato Science Series C: #88) 4681561 Jean-Paul Haton 9789400978799 1982
Automatic Tools for Designing Office Information Systems: The TODOS Approach (Research Reports Esprit #1) 4739508 Barbara Pernici Colette Rolland 9783642843235 1990
Automatic trend estimation (SpringerBriefs in Physics) 4726075 C˘alin Vamos¸ Maria Cr˘aciun 9789400748255 2013 Contains images
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing) 4831668 Yun-Heh Chen-Burger Dave Robertson 9781846281068 2005
Automating Workflows With Github Actions (PDF0: Automate Software Development Workflows And Seamlessly Deploy Your Applications Using Github Actions 4851105 Priscila Heller 9781800560406 2021 Contains images

Refine Search

Showing 4,951 through 4,975 of 55,525 results