1
Publicado em 2007
Sumário: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2013
Sumário: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Assuntos: ...Functional programming (Computer science) Periodicals....
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
Recurso Eletrônico Periódico
4
por Jukna, Stasys., Jukna, Stasys.
Publicado em 2012
Sumário: ... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Sumário: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
por Swenson, Nathan G., Swenson, Nathan G.
Publicado em 2014
Sumário: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Assuntos: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
por Aluko, Rotimi E., Aluko, Rotimi E.
Publicado em 2012
Sumário: .... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Sumário: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2010
Sumário: ... and Their Significance for Axonal Function -- New Insights in Information Processing in the Axon -- Electrical Coupling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2011
Sumário: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2010
Sumário: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2014
Sumário: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2014
Sumário: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2015
Sumário: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2015
Sumário: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2015
Sumário: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2008
Sumário: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
por Bradley, Aaron R., Bradley, Aaron R.
Publicado em 2011
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Eletrônico livro eletrônico