Вы здесь

Главная

модель

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

A Hardware Architecture Design Methodology for Hidden Markov Model Based Recognition Systems Using Parallel Processing
A Hardware Design Model for Cryptographic Algorithms
A Helix-Spindle Model for Ontological Engineering
A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution
A Hierarchical Model for Coordination of Concurrent Activities
A Hierarchy of Faithful Set Creation in Pure OODB s
A High Level Language for Conventional Access Control Models
A HIlbert Space Fuzzy Set Theory
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
A Human Oriented Proof Presentation Method
A Hybrid Method for Automatic Chromosome Karyotyping
A Hybrid Model for Reasoning about Composed Hardware Systems
AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, Jule 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 2013
AI-STRATA: A User-Centered Model for Content-Based Description and Retrieval of Audiovisual Sequences
A Java Middleware for Gauranteeing Privacy of Distributed Tuple Spaces
A Kleene theorem for infinite trace languages
A Knowledge Acquisition Method Based on a Multi-Attribute Utility Model
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
A Knowledge-Based Mathematical Model Formulation System
A Knowledge Management Lifecycle for Experience Packages on Software Engineering Technologies
A Language Framework for Expressing Checkable Properties of Dynamic Software
A Large Context Multithreaded Architecture
A Layered Real-Time Specification of a RISC Processor
AlfaSPIN: Extending SPIN with Abstraction
Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization
Algebra and Models
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Computational Models of OR-parallel Execution of Prolog
Algebraic Computation of the Weak Well-Founded Model for General Deductive Databases
Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases
Algebraic Models and the Correctness of Microprocessors
Algebraic models of microprocessors. Architecture and organisation
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information
Algebraic Semantics of Object-Oriented Data Models
Algebraic specifications for dataflow computations design
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
Algebraic System Specification and Development
Algebraic Transformation and Optimization for XQuery
Algebras of arrays - a tool to deal with concurrency
Algebra Transformation Systems and Their Composition
Algeraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice
Algorithmic Analysis of Nonlinear Hybrid Systems
Algorithmic Aspects of Cloud Computing: Revised Selected Papers/2nd International Worklshop, ALGOCLOUD 2016, Aarhus. Denmark, August 2016
Algorithmic Game Theory: Proc./2nd International Symposium, SAGT 2009, Paphos, Cyprus, October 2009
Algorithmic Learning Theory: Proc./17th International Conference, ALT 2006. Barcelona, Spain, October 2006
Algorithms and Architectures for Parallel Processing, Part I: Proc./19th International Conference, ICA3PP 2019, Melbourne,VIC,Canada, December 2019
Algorithms and Models for the Web Graph: Proc./12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 2015
Algorithms and Models for the Web Graph: Proc./13th International Workshop, WAW 2016, Montreal,QC,Canada, December 2016
Algorithms and Models for the Web Graph: Proc./17th International Workshop, WAW 2020, Warsaw, Poland, September 2020