Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
functional modularity » functional modulation, functional mobility, functional modules
programs function » programs functional, programme function, programs fiction
https functional » cots functional, cuts functional, dots functional
modularity https » modularity etc
function https » functions https, fiction https
functional modularity » functional modulation, functional mobility, functional modules
programs function » programs functional, programme function, programs fiction
https functional » cots functional, cuts functional, dots functional
modularity https » modularity etc
function https » functions https, fiction https
1
Publicado 2015
Tabla de Contenidos:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Enlace del recurso
Electrónico
eBook
2
Publicado 2012
Tabla de Contenidos:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”Enlace del recurso
Electrónico
eBook
3
Tabla de Contenidos:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”Enlace del recurso
Electrónico
eBook
5
Publicado 2006
Tabla de Contenidos:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“... Games Semantics of ASP -- Modular Answer Set Programming -- Universal Timed Concurrent Constraint...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Enlace del recurso
Electrónico
eBook
8
Publicado 2013
Tabla de Contenidos:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Enlace del recurso
Electrónico
eBook
9
Publicado 2013
Tabla de Contenidos:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Enlace del recurso
Electrónico
eBook
10
Tabla de Contenidos:
“... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
11
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Tabla de Contenidos:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Enlace del recurso
Electrónico
eBook
12
Publicado 2012
Tabla de Contenidos:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Enlace del recurso
Electrónico
eBook
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Tabla de Contenidos:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Enlace del recurso
Electrónico
eBook
14
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado 2005
Tabla de Contenidos:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Enlace del recurso
Electrónico
eBook
15
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Tabla de Contenidos:
“... -- Modular Shape Analysis for Dynamically Encapsulated Programs -- Static Analysis by Policy Iteration...”Enlace del recurso
Electrónico
eBook
16
Publicado 2008
Tabla de Contenidos:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Enlace del recurso
Electrónico
eBook
17
Publicado 2007
Tabla de Contenidos:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Enlace del recurso
Electrónico
eBook
18
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Enlace del recurso
Electrónico
eBook
19
Publicado 2013
Tabla de Contenidos:
“... in the Signal Tile Assembly Model -- Modular Verification of DNA Strand Displacement Networks via...”Enlace del recurso
Electrónico
eBook
20
Publicado 2007
Tabla de Contenidos:
“... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”Enlace del recurso
Electrónico
eBook