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