1
著者: Wegert, Elias., Wegert, Elias.
出版事項 2012
目次: ...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...
全文の入手
電子媒体 eBook
2
出版事項 2003
目次: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
全文の入手
電子媒体 eBook
3
出版事項 2010
目次: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
全文の入手
電子媒体 eBook
5
出版事項 2006
目次: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... Activities Using a Heart-Torso Model -- An Anisotropic Multi-front Fast Marching Method for Real-Time...
全文の入手
電子媒体 eBook
8
著者: Davidovich, Chen., Davidovich, Chen.
出版事項 2011
主題: ...Nucleic Acid Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/L14011...
全文の入手
電子媒体 eBook
9
出版事項 2012
目次: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...
全文の入手
電子媒体 eBook
11
出版事項 2007
目次: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
全文の入手
電子媒体 eBook
12
出版事項 2006
目次: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
全文の入手
電子媒体 eBook
13
目次: ... with Shared Sense Amplifier -- PUF with Pre-Selection -- Using the SRAM of a Microcontroller as a PUF...
全文の入手
電子媒体 eBook
14
出版事項 2012
主題: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
15
主題: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
全文の入手
電子媒体 eBook
16
著者: Levitin, Gregory., Levitin, Gregory.
出版事項 2005
目次: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
全文の入手
電子媒体 eBook
17
出版事項 2010
目次: ... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...
全文の入手
電子媒体 eBook
18
出版事項 2007
目次: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
全文の入手
電子媒体 eBook
19
出版事項 2005
目次: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
全文の入手
電子媒体 eBook
20
目次: ... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...
全文の入手
電子媒体 eBook