Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programs function » programs functional, programme function, programs fiction
function resource » action resource, function research, functional source
function https » functions https, fiction https
https function » its function, sites function, ups function
resource https » resources https, source https, resource atlas
programs function » programs functional, programme function, programs fiction
function resource » action resource, function research, functional source
function https » functions https, fiction https
https function » its function, sites function, ups function
resource https » resources https, source https, resource atlas
1
Gepubliceerd in 2014
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2012
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2010
Inhoudsopgave:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2008
Inhoudsopgave:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2005
Inhoudsopgave:
“... Functional Programs....”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2006
Inhoudsopgave:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2015
Inhoudsopgave:
“...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2011
Onderwerpen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2012
Onderwerpen:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2014
Onderwerpen:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2013
Inhoudsopgave:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2011
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2011
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
15
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
Elektronisch
Tijdschrift
16
Gepubliceerd in 2008
Inhoudsopgave:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Volledige tekst
Elektronisch
E-boek
17
Inhoudsopgave:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
18
Inhoudsopgave:
“... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2010
Onderwerpen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2015
Inhoudsopgave:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Volledige tekst
Elektronisch
E-boek



