Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functions » programs functional, program foundations, programme function
numbers computer » numbers complex, numbers chapter, clusters computer
program program » programs program, programming program
functions https » foundations https
program functions » programs functional, program foundations, programme function
numbers computer » numbers complex, numbers chapter, clusters computer
program program » programs program, programming program
functions https » foundations https
1
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
2
Table of Contents:
“...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
View full text
View full text
Electronic
eBook
3
4
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Number of Binary Variables and Constraints -- Computing with Multi-row Gomory Cuts -- Constraint Orbital...”View full text
Electronic
eBook
17
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”View full text
Electronic
eBook
19
20
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook