1
Publicat 2005
Taula de continguts: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Obtenir text complet
Electrònic eBook
3
per Lee, Kent D., Lee, Kent D.
Publicat 2008
Taula de continguts: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obtenir text complet
Electrònic eBook
8
per Kerfs, Jeremy., Kerfs, Jeremy.
Publicat 2011
Matèries: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
11
Publicat 2015
Taula de continguts: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Obtenir text complet
Electrònic eBook
14
Publicat 2006
Taula de continguts: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Obtenir text complet
Electrònic eBook
16
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Taula de continguts: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Obtenir text complet
Electrònic eBook
17
per Lee, Kent D., Lee, Kent D.
Publicat 2011
Taula de continguts: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Obtenir text complet
Electrònic eBook
18
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Matèries: ...Programming languages (Electronic computers)....
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
Obtenir text complet
Electrònic eBook
20
Taula de continguts: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
Obtenir text complet
Electrònic eBook