Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs session » problems session
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
programs session » problems session
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
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
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
3
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
4
“... groups: the functional training group (FTG) and the control training group (CG). Each group received 60...”
View full text
View full text
Article
5
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”View full text
Electronic
eBook
8
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Table of Contents:
“... and genetic architecture -- Gene expression analysis -- Databases and functional information -- Extending R...”
View full text
View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Modal Logic Formalization of Role-Based Access Control with Object Classes -- Technical Session 3. Model...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Boundaries -- Session III: Timed Synthesis and Games -- On Synthesizing Controllers from Bounded-Response...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- HyperNEAT for Locomotion Control in Modular Robots -- Session 5: Test, Repair and Reconfiguration Using...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... in Compliance with Functional Safety Requirements -- Controller Architecture for Safe Cognitive Technical...”View full text
Electronic
eBook