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