Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programs abstract » program abstract, program abstracts, programs abstraction
function function » function functional, functions functional, function dysfunction
abstract https » abstract bots, abstract attacks
https function » its function, sites function, ups function
function https » functions https, fiction https
programs abstract » program abstract, program abstracts, programs abstraction
function function » function functional, functions functional, function dysfunction
abstract https » abstract bots, abstract attacks
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Gepubliceerd in 2010
Inhoudsopgave:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2010
Inhoudsopgave:
“... Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions....”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2008
Inhoudsopgave:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Volledige tekst
Elektronisch
E-boek
5
Inhoudsopgave:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2006
Inhoudsopgave:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”Volledige tekst
Elektronisch
E-boek
7
Inhoudsopgave:
“...-Machine -- The G-Machine -- The ?-red Machinery -- Pattern Matching -- Another Functional Abstract Machine...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2005
Inhoudsopgave:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2011
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2006
Inhoudsopgave:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2005
Inhoudsopgave:
“...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2008
Inhoudsopgave:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2013
Inhoudsopgave:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2015
Inhoudsopgave:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2006
Inhoudsopgave:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2007
Inhoudsopgave:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”Volledige tekst
Elektronisch
E-boek
17
Inhoudsopgave:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Volledige tekst
Elektronisch
E-boek
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Gepubliceerd in 2014
Inhoudsopgave:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2006
Inhoudsopgave:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”Volledige tekst
Elektronisch
E-boek