Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
program concurrent » programs concurrent, programs concurrency, program current
concurrent program » concurrent programs, concurrent programming
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
program concurrent » programs concurrent, programs concurrency, program current
concurrent program » concurrent programs, concurrent programming
using https » using http, nursing https, aging https
1
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Enlace del recurso
Electrónico
eBook
3
Publicado 2005
Tabla de Contenidos:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Enlace del recurso
Electrónico
eBook
4
Publicado 2006
Tabla de Contenidos:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Enlace del recurso
Electrónico
eBook
5
Publicado 2007
Tabla de Contenidos:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Enlace del recurso
Electrónico
eBook
6
Publicado 2006
Tabla de Contenidos:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Enlace del recurso
Electrónico
eBook
7
Publicado 2012
Tabla de Contenidos:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Enlace del recurso
Electrónico
eBook
8
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Tabla de Contenidos:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Enlace del recurso
Electrónico
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Enlace del recurso
Electrónico
eBook
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Tabla de Contenidos:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Enlace del recurso
Electrónico
eBook
11
Publicado 2010
Tabla de Contenidos:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Enlace del recurso
Electrónico
eBook
12
Publicado 2006
Tabla de Contenidos:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Enlace del recurso
Electrónico
eBook
13
Publicado 2008
Tabla de Contenidos:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Enlace del recurso
Electrónico
eBook
14
Publicado 2010
Tabla de Contenidos:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Enlace del recurso
Electrónico
eBook
15
Publicado 2010
Tabla de Contenidos:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Enlace del recurso
Electrónico
eBook
16
Publicado 2014
Tabla de Contenidos:
“...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”Enlace del recurso
Electrónico
eBook
17
Tabla de Contenidos:
“... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
18
Publicado 2013
Tabla de Contenidos:
“... Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools...”Enlace del recurso
Electrónico
eBook
19
Publicado 2007
Tabla de Contenidos:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”Enlace del recurso
Electrónico
eBook
20
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado 2013
Tabla de Contenidos:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Enlace del recurso
Electrónico
eBook