Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program function » programme function, programs functional, program foundation
function making » function mining, function aging, function marina
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
making https » banking https, imaging https, smoking https
program function » programme function, programs functional, program foundation
function making » function mining, function aging, function marina
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
making https » banking https, imaging https, smoking https
1
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”View full text
Electronic
eBook
4
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
8
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
9
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
10
by Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Published 2012
Table of Contents:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Published 2012
View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
12
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”View full text
Electronic
eBook
17
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook