Вы здесь

Главная

модель

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

Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Application de la methodologie du tracage de modele a un environment d apprentissage utilisant une strategie pedagogique non directive
Application of a Generator-Based Software Development Method Supporting Model Reuse
Application of Model-Based Reasoning to the Maintenance of Telecommunication Networks
Application of Subdefinite Models for Solving Constraint Satisfaction Problems
Application of the Composition Principle to Unity-like Specifications
Application of the Polytope Model to Functional Programs
Application of TINA-C Architecture to Management Services
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/17th Intl Conference, INAP 2007 & 21st Workshop on Logic Programming, WLP 2007. Wuerzburg, Germany, October 2007
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/18th International Conference, INAP 2009, Evora, Portugal, November 2009
Applications of Theorem Proving and Model Checking
Applications of Type Theory
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
Applying Dimensional Analysis
Applying Distributed Processing Technologies to Intelligent Network
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Applying Game Semantics to Compositional Software Modeling and Verification
Applying Model Checking in Java Verification
Applying Multiple Views to Information Systems: A Preliminary Framework
Applying Reliability Measurement: A Case Study
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Modelas from UML Specifications
Approaches for Integrating Task and Data Parallelism
Approximate and Exact Deterministic Parallel Selection
Approximate Mean Value Analysis of Client-Server Systems with Multi-class Requests
Approximate Probabilistic Model Checking
A Practical Application of the IDEAL Model
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository
A Pragmatic Approach to Process Modelling
A Predicate/Transition-Net Model of a Local Area Network Protocol
A Predicative Semantic Model for Integrating UML Models
A Presentation of Software Systems Evolution Based on the Theory of the General System
A Probabilistic Inference Model for Information Retrieval
A Probabilistic Learning Approach for Document Indexing
A Probabilistic Model for Predicting Software Development Effort
A Probabilistic Model for Software Projects
A Probabilistic Relational Model for the Integration of IR and Databases
A Procedure for the Generation of a Class of Simulation Models from Databases
A Process Model and System for Supporting Collaborative Work
A Process Modeling-Goal/Question/Metric Approach to Measuring
A Process of Fuzzy Query on New Fuzzy Object Oriented Data Model
A Process-Oriented and Content-Based Perspective on Software Components
A Process-Oriented Approach to Software Component Definition
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
A Process-Oriented Scientific Database Model
A Programmer s Reduction Semantics for Classes and Mixins
A Proof Procedure Based on Recomputation-Free Lemmatization
A Quality Model for the Ada Standard Container Library
A Quantitative Measure of Portability with Application to Bandwidth-Latency Models for Parallel Computing
A Quantitative Model of the Value of Architecture in Product Line Adoption