Вы здесь

Главная

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

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

Logic Programming and Automated Reasoning:Proc./Intern. Conf. LPAR 92. St.Petersburg, Russia, July 1992
Logics in Artficial Intelligence: Proc./14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 2014
Machine Learning and Knowledge Extraction: Proc./2nd IFIP TC 5, TC 8/WG 8.4, 8.9, TC 12/WG 12.9 International Cross-Domain Conference, CD-MAKE 2018, Hamburg, Germany, August 2018
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016
MAMBA: Automatic Customization of Computerized Business Processes
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Mathematics of Program Construction: Proc./11th International Conference, MPC 2012, Madrid, Spain, June 2012
Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part III: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part II: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part I: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part IV: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part VIII: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part VII: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part VI: Proc./24th International Conference, Strasbourg, France, September 2021
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part V: Proc./24th International Conference, Strasbourg, France, September 2021
Membrane Computing: Revised Selected Papers/16th International Conference, CMC 2015, Valencia, Spain, August 2015
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010
Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets
Module Configuration by Minimal Model Construction
Multi-disciplinary Trends in Artificial Intelligence: Proc./8th International Workshop, MIWAI 2014, Bangalore, India, December 2014
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011
Neural Network Processing In Large Incomplete databases: Automatic Knowledge Acquisition
Non-interference through Determinism
NUT - an object oriented language
Objects, Models, Components, Patterns: Proc./50th International Conference, TOOLS 2012, Prague, Czech Republic, May 2012
On the Automatic Parallelization of Sparse and Irregular Fortran Programs
On the Synthesis of Discrete Controllers for Timed Systems
On the Use of Constraints in Automated Deduction
Passive and Active Measurement: Proc./12th International Conference, PAM 2011, Atlanta,GA,USA, March 2011
Pedagogically Founded Courseware Generation for Web-Based Learning: An HTN-Planning-Based Approach Implemented in PIGOS
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Petri Net Framework for Automatic Translation of Programming Languages
Polyvariant Expansion and Compiler Generators
Practice and Theory of Automated Timetabling IV: Proc./4th Intern. Conf., PATAT 2002, Gent, Belgium, August 2002
Preface: A Step Towards Verified Software
Programming Languages and Systems: Proc./15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Program Synthesis in the SPORA system
Program Verification Using Automatic Generation of Invariants
Progress in Artificial Intelligence: Proc./6th Portuguese Conf. on AI, EPIA 93. Porto, Portugal, October 1993
Quality of Software Architectures and Software Quality: Proc./First International Conference on the Quality of Software Architectures, QoSA 2005, and Second Intl Workshop on Software Quality, SOQUA 2005. Erfurt, Germany, September 2005
Requirements Engineering: Foundation for Software Quality: Proc./22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 2016
Rewriting Techniques and Applications: Proc./20th International Conference, RTA 2009 Brasilia, Brazil, June/July 2009
Rigid Unification by Completion and Rigid Paramodulation
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
Scaling Up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction