Вы здесь

Главная

гибридный

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

A Calculus for Hybrid Sampled Data Systems
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
A Component Language for Hybrid Solver Cooperations
A Compositional Approach to the Design of Hybrid Systems
Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation: Revised Selected Papers/10th International Workshop, AMR 2012, Copenhagen, Denmark, October 2012
Advances in Computation and Intelligence: Proc./Second International Symposium, ISICA 2007. Wuhan, China, September 2007
A Dynamical Simulation Facility for Hybrid Systems
A Foundation for Hybrid Knowledge Bases
Agent-Based Hybrid Intelligent Systems
A Hybrid Approach to Multimedia Database Systems through Integration of Semantics and Media-Based Search
A Hybrid Dataflow Architecture with Multiple Tokens
A Hybrid Model for Optimising Distributed Data Mining
A Hybrid Model for Reasoning about Composed Hardware Systems
Algorithmic Analysis of Nonlinear Hybrid Systems
A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems
A Logical Approach to Specification of Hybrid Systems
An Approach to the Description and Analysis of Hybrid Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
A Real-Time Animator for Hybrid Systems
Arrows, Robots, and Functional Reactive Programming
Augmented Environments for Computer-Assisted Interventions: Proc./9th International Workshop, AE-CAI 2014 Held in Conjunction with MICCAI 2014, Boston,MA,USA, September 2014
Automated Analysis of an Audio Control Protocol
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005
Automatic Verification of Real-Time and Hybrid Systems
Background for formalisation of complex systems
Bisimulation for Communication Piecewise Deterministic Markov Processes (CPDPs)
Bisimulation for General Stochastic Systems
Communication and Optimization Aspects on Hybrid Architectures
Communiction Bandwidth of Paralll Programming Models on Hybrid Architectures
Cost-Effective Jukebox Storage via Hybrid File-Block Caching
Decidable Model Checking of Probabilistic Hybrid Automata
Design and Implementation of a Hybrid Agent Platform
Development of Hybrid Systems
Embeddings of Hybrid Automata in Process Algebra
Euro-Par 2012 Parallel Processing: Proc./18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 2012
Event Identification and Intelligent Hybrid Control
Evolutionary Computation in Combinatorial Optimization: Proc./6th European Conference, EvoCOP 2005. Budapest, Hungary, April 2006
Evolutionary Mulri-Criterion Optimization: Proc./9th International Conference, EMO 2017, Munster, Germany, March 2017
Fips - a Functional-Imperative Language for Explorative Programming
Formal Design of Hybrid Systems
Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Formal Modeling and Analysis of Timed Systems: Proc./14th International Conference, FORMATS 2016, Quebec,QC, Canada, August 2016
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./6th Intern. Symp., FTRTFT 2000, Pune, India, September 2000
Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
From ATP to Timed Graphs and Hybrid Systems
From Duration Calculus to Linear Hybrid Automata
From Physical Modelling to Compositional Models of Hybrid Systems
From Timed to Hybrid Systems