1
Gepubliceerd in 2013
Inhoudsopgave: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2007
Inhoudsopgave: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2014
Inhoudsopgave: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2015
Inhoudsopgave: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2013
Inhoudsopgave: ...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Volledige tekst
Elektronisch E-boek
7
door Pace, Larry., Pace, Larry., Wiley, Joshua.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
8
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
9
Inhoudsopgave: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Volledige tekst
Elektronisch E-boek
10
door Pickering, Robert., Pickering, Robert.
Gepubliceerd in 2010
Inhoudsopgave: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
Volledige tekst
Elektronisch E-boek
11
door Fischer, Robert., Fischer, Robert.
Gepubliceerd in 2015
Onderwerpen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2008
Inhoudsopgave: ... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...
Volledige tekst
Elektronisch E-boek
14
door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013
Inhoudsopgave: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2005
Inhoudsopgave: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Volledige tekst
Elektronisch E-boek
17
Inhoudsopgave: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2010
Inhoudsopgave: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2005
Inhoudsopgave: ... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...
Volledige tekst
Elektronisch E-boek