1
Publicat 2012
Matèries: ...Computer programming....
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Obtenir text complet
Electrònic eBook
5
Matèries: ...Data structures (Computer science)....
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
12
Taula de continguts: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Obtenir text complet
Electrònic eBook
14
Publicat 2013
Taula de continguts: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Obtenir text complet
Electrònic eBook
15
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
16
Publicat 2006
Taula de continguts: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook
20
Taula de continguts: ... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...
Obtenir text complet
Electrònic eBook