Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
program results » programmes results, problems results
https function » its function, sites function, ups function
results https » results hans
function computing » education computing, generation computing
program results » programmes results, problems results
https function » its function, sites function, ups function
results https » results hans
1
Published 2010
Table of Contents:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”View full text
Electronic
eBook
4
New Results in Dependability and Computer Systems Proceedings of the 8th International Conference...
Published 2013
Table of Contents:
“... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
7
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
8
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
10
Published 2014
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
12
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
20
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook