1
Publicat 2007
Taula de continguts: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Taula de continguts: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
Obtenir text complet
Electrònic eBook
3
Matèries: ...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
Electrònic Revista
4
per Jukna, Stasys., Jukna, Stasys.
Publicat 2012
Taula de continguts: ... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...
Obtenir text complet
Electrònic eBook
5
Taula de continguts: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Obtenir text complet
Electrònic eBook
6
Taula de continguts: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Obtenir text complet
Electrònic eBook
7
Matèries: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
Obtenir text complet
Electrònic eBook
8
per Aluko, Rotimi E., Aluko, Rotimi E.
Publicat 2012
Taula de continguts: .... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... and Their Significance for Axonal Function -- New Insights in Information Processing in the Axon -- Electrical Coupling...
Obtenir text complet
Electrònic eBook
11
Publicat 2011
Taula de continguts: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Obtenir text complet
Electrònic eBook
14
Publicat 2015
Taula de continguts: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Obtenir text complet
Electrònic eBook
15
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Obtenir text complet
Electrònic eBook
20
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook