1
主題: ...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
獲取全文
電子 電子書
3
Wegert, Elias., Wegert, Elias.
出版 2012
書本目錄: ...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...
獲取全文
電子 電子書
4
出版 2013
書本目錄: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
獲取全文
電子 電子書
5
書本目錄: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
獲取全文
電子 電子書
6
書本目錄: ...Part I Basics: 1. Harmonization of Insurance Supervisory Law -- 2. Supervisory Review Process -- 3...
獲取全文
電子 電子書
7
出版 2012
書本目錄: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
獲取全文
電子 電子書
8
出版 2007
書本目錄: ...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...
獲取全文
電子 電子書
9
出版 2008
書本目錄: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
獲取全文
電子 電子書
11
出版 2011
主題: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
獲取全文
電子 電子書
12
主題: ...Nucleic Acid Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/L14011...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
獲取全文
電子 電子書
14
出版 2012
主題: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
獲取全文
電子 電子書
15
出版 2015
書本目錄: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
獲取全文
電子 電子書
16
書本目錄: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
獲取全文
電子 電子書
17
出版 2010
書本目錄: ... -- Cryptanalysis of the 10-Round Hash and Full Compression Function of SHAvite-3-512....
獲取全文
電子 電子書
18
出版 2011
主題: ...Neurosurgery. https://scigraph.springernature.com/ontologies/product-market-codes/H39000...
獲取全文
電子 電子書
19
出版 2013
書本目錄: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
獲取全文
電子 電子書
20
出版 2010
書本目錄: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
獲取全文
電子 電子書