Вы здесь

Главная

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

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

Automatic Verification of Hybrid Systems with Large Discrete State Space
Automatic Verification of Pipelined Microprocessor Control
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes
Automatic Verification of Pointer Programs using Monadic Second-Order Logic
Automation of correctness checking in education
Automatized Verification of Ad Hoc Routing Protocols
Automattic Generation of Simplification Lemmas for Inductive Proofs
Backtracking-Free Design Planning by Automatic Synthesis in MetaFrame
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, Part I: Revised Selected Papers/4th International Workshop, BrainLes 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, Part I: Revised Selected Papers/5th International Workshop, BrainLes 2019 Held in Conjunction with MICCAI 2019, Shenzhen, China, October 2019
Building Hypertext Links by Computing Semantic Similarity
Calculating Software Generators from Solution Specifications
CATS- Computer Aided Testing of Software
Combining Interaction and Automation in Process Algebra Verification
Compiler Construction: Proc./21st International Conference, CC 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Computational Linguistics and Intelligent Text Processing, Part II: Proc./12th International Conference, CICLing 2011, Tokyo, Japan, February 2011
Computational Linguistics and Intelligent Text Processing. Part I: Proc./12th International Conference, CICLing 2011, Tokyo, Japan, February 2011
Computation, Physics and Beyond: Revised Selected and Invited Papers/ International Workshop, WTCS 2012 Dedicated to C.S.Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 2011
Computer Aided Verification: Proc./17th International Conference, CAV 2005. Edinburgh, Scotland, UK, July 2005
Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010
Computer Algebra in Scientific Compiting: Proc./16th International Workshop, CASC 2014, Warsaw, Poland, September 2014
Computer-Assisted and Robotic Endoscopy: Revised Selected Papers/3rd International Workshop, CARE 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Vision - ACCV 2012 Workshops, Part I: Revised Selected Papers/ACCV 2012 International Workshops, Daejeon, Korea, November 2012
Conceptual Modeling of Automatic Software Reuse in Integrated CASE
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Conflict Resolution in Decision Making: Revised Selected Papers/2nd International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 2016
Construction of Programs- an Alternative to Automatic Synthesis
Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016
Design of a Meta-Parallelizer for Large Scientific Applications
Disinformation in Open Online Media: Revised Selected Papers/1st Multidisciplinary International Symposium, MISDOOM 2019, Hamburg, Germany, February 2019
Dissolution: Making Paths Vanish
Eclat: Automatic Generation and Classification of Test Inputs
ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems
Efficient Strategies for Automated Reasoning in Modal Logics
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization
Evolutionary Computation in Combinatorial Optimization: Proc./18th European Conference, EvoCOP 2018, Parma, Italy, April 2018
Evolutionary Computation in Combinatorial Optimization: Proc./19th Europeanl Conference, EvoCOP 2019 Held as Part of EvoStar 2019, Leipzig, Germany, April 2019
Experiments in Automatic Statistical Thesaurus Construction
Expert Network: Effective and Efficient Learning from Human Decisions in Text Categorization and Retrieval
Exploring the Software Development Trilogy
FASTEST: A Practical Low-Complexity Algorithm for Compile-Time Assignment of Parallel Programs to Multiprocessors
Fast Software Encryption: Revised Selected Papers/23rd International Conference, FSE 2016, Bochum, Germany, March 2016
Feasible Test Path Selection by Principal Slicing
FM 2012: Formal Methods: Proc./18th International Symposium, Paris, France, August 2012