Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
construction computing » constructions composing, construction computer, construction computers
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
construction computing » constructions composing, construction computer, construction computers
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
Publicado 2008
Tabla de Contenidos:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”Enlace del recurso
Electrónico
eBook
2
Publicado 2005
Tabla de Contenidos:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”Enlace del recurso
Electrónico
eBook
3
Publicado 2008
Tabla de Contenidos:
“... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Enlace del recurso
Electrónico
eBook
5
Publicado 2012
Tabla de Contenidos:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Enlace del recurso
Electrónico
eBook
8
Publicado 2015
Tabla de Contenidos:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Enlace del recurso
Electrónico
eBook
9
Publicado 2013
Tabla de Contenidos:
“... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...”Enlace del recurso
Electrónico
eBook
10
Publicado 2006
Tabla de Contenidos:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”Enlace del recurso
Electrónico
eBook
11
Publicado 2007
Tabla de Contenidos:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Enlace del recurso
Electrónico
eBook
12
Publicado 2006
Tabla de Contenidos:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Enlace del recurso
Electrónico
eBook
13
Publicado 2006
Tabla de Contenidos:
“...-Sets -- Constructive Equivalence Relations on Computable Probability Measures -- Planar Dimer Tilings...”Enlace del recurso
Electrónico
eBook
14
Publicado 2008
Tabla de Contenidos:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Enlace del recurso
Electrónico
eBook
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“... for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”Enlace del recurso
Electrónico
eBook
20
Materias:
“...Programming languages (Electronic computers)....”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]