1
Publicado 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Ligazón do recurso
Electrónico eBook
3
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
4
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
5
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
6
por Fischer, Robert., Fischer, Robert.
Publicado 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
7
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Ligazón do recurso
Electrónico eBook
8
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...
Ligazón do recurso
Electrónico eBook
10
Publicado 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Ligazón do recurso
Electrónico eBook
11
Publicado 2013
Table of Contents: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Ligazón do recurso
Electrónico eBook
12
Publicado 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Ligazón do recurso
Electrónico eBook
14
Publicado 2014
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Ligazón do recurso
Electrónico eBook
17
Publicado 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Ligazón do recurso
Electrónico eBook
18
Publicado 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Ligazón do recurso
Electrónico eBook
20
Publicado 2006
Table of Contents: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
Ligazón do recurso
Electrónico eBook