1
Pubblicazione 2013
Sommario: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testo
Elettronico eBook
2
di Aluko, Rotimi E., Aluko, Rotimi E.
Pubblicazione 2012
Sommario: .... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...
Testo
Elettronico eBook
3
di Denardo, Eric V., Denardo, Eric V.
Pubblicazione 2011
Sommario: .... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....
Testo
Elettronico eBook
4
Pubblicazione 2008
Sommario: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ...MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Testo
Elettronico eBook
9
Pubblicazione 2014
Sommario: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testo
Elettronico eBook
10
Pubblicazione 2015
Sommario: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Testo
Elettronico eBook
11
Pubblicazione 2014
Sommario: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
Testo
Elettronico eBook
12
Pubblicazione 2013
Sommario: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
Testo
Elettronico eBook
13
di Luszczak, Andreas., Luszczak, Andreas.
Pubblicazione 2015
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
14
di Luszczak, Andreas., Luszczak, Andreas.
Pubblicazione 2013
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
15
Pubblicazione 2013
Sommario: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Testo
Elettronico eBook
16
Sommario: ... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ...-Related Potential Via Genetic Programming -- Using Multi-Objective Genetic Programming to Synthesize...
Testo
Elettronico eBook
18
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
19
Pubblicazione 2013
Sommario: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Testo
Elettronico eBook
20
di Luszczak, Andreas., Luszczak, Andreas.
Pubblicazione 2012
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook