Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computation » program computational, program compilation, programs competition
computation https » computing https
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
program computation » program computational, program compilation, programs competition
computation https » computing https
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Table of Contents:
“...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...”
View full text
View full text
Electronic
eBook
4
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Tools for Networked Control Systems -- On the Maximum Principle for Impulsive Hybrid Systems...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
8
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Published 2010
Table of Contents:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”View full text
Electronic
eBook
9
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
11
Table of Contents:
“... -- Control of Diversity and Variation Step Size -- Code Growth and Neutral Variations -- Evolution of Program...”
View full text
View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”View full text
Electronic
eBook
13
14
Table of Contents:
“...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook