Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
generation computers » generation computer, decoration computer, education computer
program function » programme function, programs functional, program foundation
https generation » status generation, its generation, arts generation
computers https » computing https, computers gtt, computers help
function https » functions https, fiction https
generation computers » generation computer, decoration computer, education computer
program function » programme function, programs functional, program foundation
https generation » status generation, its generation, arts generation
computers https » computing https, computers gtt, computers help
function https » functions https, fiction https
1
Veröffentlicht 2010
Inhaltsangabe:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Volltext
Elektronisch
E-Book
2
Inhaltsangabe:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Volltext
Volltext
Elektronisch
E-Book
3
Veröffentlicht 2012
Inhaltsangabe:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2013
Inhaltsangabe:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Volltext
Elektronisch
E-Book
5
Inhaltsangabe:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Volltext
Volltext
Elektronisch
E-Book
6
Veröffentlicht 2006
Inhaltsangabe:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2008
Inhaltsangabe:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2006
Inhaltsangabe:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Volltext
Elektronisch
E-Book
9
Inhaltsangabe:
“... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Volltext
Volltext
Elektronisch
E-Book
10
Veröffentlicht 2007
Inhaltsangabe:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2014
Inhaltsangabe:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2015
Inhaltsangabe:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2006
Inhaltsangabe:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2013
Inhaltsangabe:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2005
Inhaltsangabe:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Volltext
Elektronisch
E-Book
16
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Veröffentlicht 2010
Inhaltsangabe:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Volltext
Elektronisch
E-Book
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Veröffentlicht 2014
Inhaltsangabe:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Volltext
Elektronisch
E-Book
18
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Veröffentlicht 2010
Inhaltsangabe:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Volltext
Elektronisch
E-Book
19
Veröffentlicht 2014
Inhaltsangabe:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Volltext
Elektronisch
E-Book
20
Veröffentlicht 2010
Inhaltsangabe:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Volltext
Elektronisch
E-Book



