Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs computing » programs compiling, programs conducting, problems computing
function monitored » function monitoring, functions monitoring, function centered
https function » its function, sites function, ups function
programs computing » programs compiling, programs conducting, problems computing
function monitored » function monitoring, functions monitoring, function centered
https function » its function, sites function, ups function
1
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... and Kalman Filter -- 2.6 Piecewise Stationary Modeling -- 2.7 Model-Based Monitoring System -- 2.8 RBF-ARX...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... -- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis -- Monitoring Atomicity...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“...1. Introduction to the Operating Room -- 2. Anatomy of Intraoperative Monitoring -- 3. Cellular...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2014
Indholdsfortegnelse:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2013
Indholdsfortegnelse:
“... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2012
Indholdsfortegnelse:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2007
Indholdsfortegnelse:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2015
Indholdsfortegnelse:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2007
Indholdsfortegnelse:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Få fuldtekst
Electronisk
eBog