Вы здесь

Главная

динамический

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

A Brief Introduction to Regions
Abstract Interpretation by Dynamic Partitioning
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces
A Comparison of Dynamic Branch Predictors that use Two Levels of Branch History
A Compositional Petri Net Semantics for SDL
A Cooperative Algorithm for the Dynamic Stereo Problem
Active Networks: Proc./IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia,PA,USA,September/October 2001
Actor-Oriented System Specification with Dynamic Logic
Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems
Advanced Parallel Processing Technologies: Revised Selected Papers/10th International Symposium, APPT 2013, Stockholm, Sweden, August 2013
Advances Data Mining and Applications: Proc./10th International Conference, ADMA 2014, Guilin, China, December 2014
Advances in Neural Networks - ISNN 2016: Proc./13th International Symposium on Neural Networks, ISNN 2016, St.Petersburg, Russia, July 2016
Advances in Spatial and Temporal Databases: Proc./11th International Symposium, SSTD 2009. Aalborg, Denmark, July 2009
A Dynamically Typed Access Control Model
A Dynamical Simulation Facility for Hybrid Systems
A Dynamic Approach to Timed Behaviour
A Dynamic Hierarchy of Intelligent Agents for Network Management
A Dynamic-Programming Technique for Compacting Loops
A Dynamic Specification of the RPC-Memory Problem
A Dynamic Storage Allocation Algorithm Suitable for File Structures
A Dynamic Yask Scheduling Algorithm for Grid Computing System
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis
A First Step Towards Implementing Dynamic Algebraic Dependencies
A Formal Basis for Dynamic Schema Integration
A Framework for Dynamic Program Analyzers
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
A Generic and Executable Model for the Specification and Validation of Distributed Behaviors
A High-Performance Hardware-Assisted Real-Time Garbage Collection System
A Language Framework for Expressing Checkable Properties of Dynamic Software
Algebraic Acpects of the Relational Knowledge Representation: Modal Relation Algebras
Algebraic Imperative Specifications
Algebraic specification of dynamic objects
Algorithmic Game Theory: Proc./Third International Symposium, SAGT 2010, Athens, Greece, October 2010
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment
A Model for Efficient Programming of Dynamic Applications on Distributed Memory Multiprocessors
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
An Adaptive Scheme for Dynamic Parallelization
Analysis of Dynamical and Cognitive Systems: Proc./Advanced Course. Stockholm, Sweden, August 1993
Analysis of Petri Nets by means of Dynamic Graphs
An Analysis of Dynamic Scheduling Techniques for Symbolic Applications
An ASM Dynamic Semantics for Standard ML
A Natural Deduction Approach to Dynamic Logic
An Efficient Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems
An Efficient Relevant Slicing Method for Debugging
An Efficient Topology Update Protocol for Dynamic Networks
An Efficient Transient Versioning Method
An Evaluation of Staged Run-Time Optimizations in DyC
An Extension of Dynamic Logic for Modeling OCL s @pre Operator