1
2
書本目錄: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
獲取全文
電子 電子書
4
書本目錄: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
獲取全文
電子 電子書
5
出版 2006
書本目錄: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
獲取全文
電子 電子書
6
出版 2014
書本目錄: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
獲取全文
電子 電子書
8
書本目錄: ... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...
獲取全文
電子 電子書
9
書本目錄: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
獲取全文
電子 電子書
10
11
出版 2005
書本目錄: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
獲取全文
電子 電子書
12
書本目錄: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
獲取全文
電子 電子書
13
書本目錄: ... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...
獲取全文
電子 電子書
14
Harrop, Jon D.
出版 2008
書本目錄: ...Introduction. Programming guidelines -- A brief history of F# -- Benefits of F# -- Introducing F...
Publisher description
Table of contents only
圖書
15
書本目錄: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
獲取全文
電子 電子書
16
出版 2015
書本目錄: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
獲取全文
電子 電子書
17
出版 2013
書本目錄: ... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...
獲取全文
電子 電子書
18
出版 2006
書本目錄: ... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...
獲取全文
電子 電子書
20
書本目錄: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
獲取全文
電子 電子書