1
Veröffentlicht 2010
Inhaltsangabe: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
Volltext
Elektronisch E-Book
2
von Lew, Art., Lew, Art., Mauch, Holger.
Veröffentlicht 2007
Inhaltsangabe: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
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
von Swenson, Nathan G., Swenson, Nathan G.
Veröffentlicht 2014
Inhaltsangabe: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
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
von Sestoft, Peter., Sestoft, Peter.
Veröffentlicht 2012
Inhaltsangabe: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
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
Veröffentlicht 2010
Inhaltsangabe: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2014
Inhaltsangabe: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
Volltext
Elektronisch E-Book
18
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