Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
автоматический
Связанные издания:
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A Checker for Modal Formulae for Processes with Data
A Comparison of Automatic versus Manual Parallelization of the Boyer-Moore Theorem Prover
ACTION: An Automatic Classification Algorithm for Full-Text Documents
Adaptive Model Checking
Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation: Revised Selected Papers/10th International Workshop, AMR 2012, Copenhagen, Denmark, October 2012
Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User: Revised Selected Papers/7th International Workshop, AMR 2009, Madrid, Spain, September 2009
A Decision Algorithm for Full Propositional Temporal Logic
Advances in Natural Language Processing: Proc./9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 2014
Advances in Soft Computing, Part II: Proc./9th Mexican International Conference on AI, MICAI 2010, Pachuca, Mexico, November 2010
Advances in Speech and Language Technologies for Iberian Language: Proc./3rd International Conference, IberSPEECH 2016, Lisbon, Portugal, November 2016
Advances in Speech and Language Technologies for Iberian Languages: Proc./2nd International Conference, IberSPEECH 2014, Las Palmas de Gran Canaria, Spain, November 2014
Advances in Swarm Intelligence, Part I: Proc./5th International Conference, ICSI 2014, Hefei, China, October 2014
Affine Model Checking Multi-agent Sliding Window Protocol
A Fortran IV to QuickBASIC Translator
A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol
A Graphical Interval Logic for Specifying Concurrent Systems
A Graphical Tool for Automatic Parallelization and Scheduling of Programs on Multiprocessors
A High-Performance Hardware-Assisted Real-Time Garbage Collection System
AI*IA 2011: Artificial Intellgence Around Man and Beyond: Proc./XIIth International Conference of the Italian Association for AI, Palermo, Italy, September 2011
Algorithmic Decision Theory: Proc./6th International Conference, ADT 2019, Durham,NC,USA, October 2019
Alternating Automata and Program Verification
An Applicable Test Data Generation Algorithm for Domain Errors
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
An Automated Procedure for Synthesis of Systolic and Wavefront Arrays
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases
An Automatic Testing Environment for LArge-Scale Operating Systems
An EVES Data Abstraction Example
An Integrated General Purpose Automated Test Environment
A Pragmatic Survey of Automated Debugging
A PVM Tool for Automatic Test Generation on Parallel and Distributed Systems
Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
A Simple Testing Technique for Embedded Systems
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
A Survey and a Categorization Scheme of Automatic Programming Systems
A Unification of Inheritance and Automatic Program Specialization
A Uniform Approach to Deduction and Automatic Implementation
Automated and Algorithmic Debugging: Proc./First Intern. Workshop, AADEBUG 93. Linkoping, Sweden, May 1993
Automated Deduction by Analogy
Automated Deduction - CADE-12: Proc./12th Intern. Conf. on Automated Deduction. Nancy, France, June-July 1994
Automated Deduction - CADE-13: Proc./13th Intern. Conf. on Automated Deduction. New Brunswick, NJ, USA, July-August 1996
Automated Deduction - CADE-14: Proc./14th Intern. Conf. on Automated Deduction. Townsville, North Queensland, Australia, July 1997
Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Deduction in Equational Logic and Cubic Curves
Automated Deduction in Geometry: Proc./4th Intern. Workshop, ADG 2002, Hagenberg Castle, Austria, September 2002
Automated Deduction in Geometry: Revised Selected Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, July 2014
Automated Deduction in Geometry: Revised Selected Papers/8th International Workshop, ADG 2010, Munich, Germany, July 2010
1
2
3
4
5
6
7
8
9
следующая ›
последняя »