Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
function structure » functional structure, functional structures, functional structural
programs session » problems session
structure https » structures https
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function structure » functional structure, functional structures, functional structural
programs session » problems session
structure https » structures https
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Publicado 2007
Tabla de Contenidos:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”Enlace del recurso
Electrónico
eBook
4
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
5
Publicado 2010
Tabla de Contenidos:
“... Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Enlace del recurso
Electrónico
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Tabla de Contenidos:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Enlace del recurso
Electrónico
eBook
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Enlace del recurso
Electrónico
eBook
9
Tabla de Contenidos:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2006
Tabla de Contenidos:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Enlace del recurso
Electrónico
eBook
12
Publicado 2005
Tabla de Contenidos:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”Enlace del recurso
Electrónico
eBook
14
Publicado 2008
Tabla de Contenidos:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”Enlace del recurso
Electrónico
eBook
15
Publicado 2010
Tabla de Contenidos:
“... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”Enlace del recurso
Electrónico
eBook
16
Publicado 2007
Tabla de Contenidos:
“... -- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic -- The Omega Rule...”Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Tabla de Contenidos:
“... Function of Frame Rate and Resolution Changes -- How to Build an Objective Model for Packet Loss Effect...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”Enlace del recurso
Electrónico
eBook
20
Publicado 2010
Tabla de Contenidos:
“... -- Elliptic Curve Cryptography -- Cryptographic Hash Functions -- Block Cipher Cryptanalysis -- Chaos-Based...”Enlace del recurso
Electrónico
eBook