Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
диагностика
Связанные издания:
Evaluating Software Development Objectively
Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control
Evolvable Systems: From Biology to Hardware: Proc./9th International Conference, ICES 2010, York,UK, September 2010
Expert Systems for Fault Diagnosis on CNC Machines
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model
Fault Diagnosis based on Simulation Models
Fault Diagnosis in Extended Finite State Machines
Formally Verified On-Line Diagnosis
Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014
Foundations of Biomedical Knowledge Representation: Methods and Aplications
From Practice to Theory, a Development Strategy worth Looking at
Information System for Onco-pathology: From an Expert System to WWW
Interprocedural Static Analysis of Seguencing Constraints
KUSET - Knowledge Based Support for Electron Beam Testing
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
Locating Type Errors in Untyped CLP Programs
Machine Learning for a Dynamic Manufacturing Environment
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 2014
MED 1. Ein heuristisches Diagnosesystem mit effizienter Kontrollstruktur
Medical Biometrics: Proc./First International Conference, ICMB 2008. Hong Kong, China, January 2008
Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/2nd MICCAI International Workshop, MCBR-CDS 2011, Toronto,ON,Canada, September 2011
Medical Diagnosis Using Knowledge-Based System
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011, Part I: Proc./ 14th International Conference, Toronto, Canada, September 2011
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, Part I: Proc./17th International Conference, Boston,MA,USA, September 2014
MetaGame: An Animation Tool for Model-Checking Games
Mining System Tests to Aid Software Maintenance
Model-Based Diagnosis: An Overview
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended abstract)
Model based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain
M O D I S Ein Expertensystem zur Erstellung von Reparaturdiagnosen fur den Ottomotor und seine Aggregate
Nuclear Power Plant Diagnostics in APL
Numerical and Syntactic Tools for Fusion and Diagnisis Provided with the TOPMUSS-System
On a Role of Problem Solving Methods in Knowledge Acquisition - Experiments with Diagnostic Strategies
Optimization of Diagnostic Examination
Probabilistic Diagnosis of Multiprocessor Systems
Proving Properties of Logic Programs by Abstract Diagnosis
Real-time Fault Diagnosis-Using Occupancy Grids and Neural Network Techniques
Recent Advances in Intrusion Detection: Proc./9th International Symposium, RAID 2006. Hamburg, Germany, September 2006
Remote Repair, Diagnostics and Maintenance
Ring-Banyan Network: A Fault Tolerant Multistage Interconnection Network and Its Fault Diagnosis
Scaling-up Model-Based Troubleshooting by Exploiting Design Functionalities
Schnelle Verfahren zur "online"-Fehlererkennung in Speicherungsstrukturen von Datenbanksystemen unter Betrachtung einzelner Seiteninhalte
Self-Diagnosis of a MIMD Parallel System
Self-Healing in Modern Operating Systems
Simplifying Failure-Inducing Input
Simplifying Medical Ultrasound: Proc./2nd International Workshop, ASMUS 2021Held in Conjunction with MICCAI 2021, Strasbourg, France, October 2021
Software Testing & Diagnostics: Theory & Practice
Supporting Model-based Diagnosis with Explanation-based Learning and Analogical Inferences
Systematically Diagnosing and Improving the Perceived Usefulness of Organizattional Memories
Testing of Ada Compiler Diagnostics
« первая
‹ предыдущая
1
2
3
4
следующая ›
последняя »