Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computation » program computational, program compilation, programs competition
function monitoring » reaction monitoring, election monitoring, condition monitoring
computation https » computing https
monitoring https » monitoring hosts, monitoring holter, monitoring human
https function » its function, sites function, ups function
program computation » program computational, program compilation, programs competition
function monitoring » reaction monitoring, election monitoring, condition monitoring
computation https » computing https
monitoring https » monitoring hosts, monitoring holter, monitoring human
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis -- Monitoring Atomicity...”View full text
Electronic
eBook
5
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...1. Introduction to the Operating Room -- 2. Anatomy of Intraoperative Monitoring -- 3. Cellular...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
9
Table of Contents:
“... and Kalman Filter -- 2.6 Piecewise Stationary Modeling -- 2.7 Model-Based Monitoring System -- 2.8 RBF-ARX...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”View full text
Electronic
eBook
19
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook