Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computer » construction computer, construction computers, reconstruction computer
programming recursion » programming decision, programming session, programming decisions
computer programming » computer program, computer programs
recursion control » version control, decision control, precision control
control computer » cobol computer
constructive computer » construction computer, construction computers, reconstruction computer
programming recursion » programming decision, programming session, programming decisions
computer programming » computer program, computer programs
recursion control » version control, decision control, precision control
control computer » cobol computer
1
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...-Sets -- Constructive Equivalence Relations on Computable Probability Measures -- Planar Dimer Tilings...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”View full text
Electronic
eBook
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
20