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