1
著者: Freeman, Adam., Freeman, Adam.
出版事項 2010
目次: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
3
出版事項 2010
目次: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
全文の入手
電子媒体 eBook
4
出版事項 2006
目次: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
全文の入手
電子媒体 eBook
7
目次: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
全文の入手
電子媒体 eBook
8
著者: Garofalo, Raffaele., Garofalo, Raffaele.
出版事項 2011
主題: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
全文の入手
電子媒体 eBook
9
主題: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
全文の入手
電子媒体 eBook
10
著者: Pickering, Robert., Pickering, Robert.
出版事項 2010
目次: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
全文の入手
電子媒体 eBook
11
著者: Krawczak, Maciej., Krawczak, Maciej.
出版事項 2013
目次: ...Introduction to Multilayer Neural Networks -- Basics of Generalized Nets -- Simulation Process...
全文の入手
電子媒体 eBook
12
出版事項 2015
目次: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
全文の入手
電子媒体 eBook
13
出版事項 2005
目次: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
全文の入手
電子媒体 eBook
14
出版事項 2008
目次: ... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...
全文の入手
電子媒体 eBook
15
出版事項 2010
目次: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
全文の入手
電子媒体 eBook
16
出版事項 2008
目次: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
全文の入手
電子媒体 eBook
17
出版事項 2005
目次: ... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...
全文の入手
電子媒体 eBook
18
出版事項 2012
目次: ... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
全文の入手
電子媒体 eBook