Вы здесь

Главная

автоматический

Связанные издания:

Automated Deduction with Constraints
Automated Modeling of Physical Systems
Automated Program Flaw Finding using Simulated Annealing
Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015
Automated Sisal program verification with ACL2
Automated Synthesis of Mixed-Mode (Asynchronous and Synchronous) Systems
Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004
Automated Test Generation and Verified Software
Automatic Cataloguing and Indexing
Automatic Concept Classification of Text from Electronic Meetings
Automatic Construction of Hypertexts for Self-referencing: The Hyper-TextBook Project
Automatic Construction of Prolog Primitives for Type Checking Analysis
Automatic Data Distribution
Automatic Differentiation of Algorithms: From Simulation to Optimization
Automatic Document Classification: Natural Language Processing, Statistical Analysis, and Expert System Techniques Used Together
Automatic Generation and Use of Abstract Structure Operators
Automatic Generation of Ada Source Code for the Rafale Mission Computer
Automatic Generation of Editors for Higher-Order Data Structures
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Automatic Hypertext Conversion of Paper Document Collections
Automatic Indexing Based on Bayesian Inference Networks
Automatic Interoperability Test Generation for Source-to-source Translators
Automatic Parallelization by Pattern-Matching
Automatic Parallelization in the Polytope Model
Automatic Parallelization of C by Means of Language Transcription
Automatic Parallelization of Divide and Conquer Algorithms
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming
Automatic Program Synthesis on the Basis of Data Semantics Analysis
Automatic recovery of a parallel stable file system
Automatic Speech Recognition with Neural Networks: Beyond Nonparametric Models
Automatic Support for Data Distribution on Distributed Memory Multiprocessor Systems
Automatic Synthesis of Real Time Systems
Automatic System File Generator
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms
Automatic Test Data Generation using Constraint Solving Techniques
Automatic Testing of Object-Oriented Software
Automatic Vectorization of Communications for Data-Parallel Programs
Automatic Verification Based on Abstract Interpretation
Automatic Verification by Abstract Interpretation
Automatic Verification of Annotated Code
Automatic Verification of Concurrent Systems using a Formula-Based Compositional Approach