1
di Horváth, Zoltán., Horváth, Zoltán.
Pubblicazione 2006
Sommario: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Testo
Elettronico eBook
2
Pubblicazione 2007
Sommario: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Testo
Elettronico eBook
3
Sommario: ... To Define Functional Groups -- 2.4 Functional Characterization of Coastal Sandy Plain Vegetation...
Testo
Elettronico eBook
4
Pubblicazione 2006
Sommario: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Testo
Elettronico eBook
5
Pubblicazione 2012
Soggetti: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Testo
Elettronico eBook
7
Pubblicazione 2014
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
8
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
9
di Hunt, John., Hunt, John.
Pubblicazione 2013
Sommario: ... Pattern -- Part IV – Gang of Four Patterns -- Gang of Four Design Patterns -- Gang of Four Patterns...
Testo
Elettronico eBook
10
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
11
di Rasmussen, Svend., Rasmussen, Svend.
Pubblicazione 2013
Sommario: ...Preface -- 1 Introduction -- 2 The Production Function -- 3 Optimisation with One Input -- 4...
Testo
Elettronico eBook
12
Pubblicazione 2008
Sommario: ... Cryptanalysis of CLEFIA -- Hash Function Cryptanalysis (II) -- MD4 is Not One-Way -- Improved...
Testo
Elettronico eBook
13
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
14
di Hazrat, Roozbeh., Hazrat, Roozbeh.
Pubblicazione 2010
Sommario: ... Functions producing lists -- 3.2 Listable functions -- 3.3 Selecting from a list -- 4. Changing heads! -- 5...
Testo
Elettronico eBook
15
Sommario: ... -- .1.3 Rational numbers and real numbers -- 1.4 Power functions -- Ch. 2 Sequences and Series -- 2.1...
Testo
Elettronico eBook
16
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
17
di Smith, Joshua B., Smith, Joshua B.
Pubblicazione 2007
Sommario: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
Testo
Elettronico eBook
18
Sommario: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
Testo
Elettronico eBook
19
di Rasmussen, Svend., Rasmussen, Svend.
Pubblicazione 2011
Sommario: ...1 Introduction -- 2 The Production Function -- 3 Optimisation with One Input -- 4 Production...
Testo
Elettronico eBook
20
Sommario: ...Fundamentals of Functional Analysis -- Convex Functions -- Convex Programming -- Convex Control...
Testo
Elettronico eBook