1
出版 2005
书本目录: ... and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces...
获取全文
电子 电子书
2
Malik, D. S.
出版 2009
书本目录: ... -- Pointers -- Applications of arrays (searching and sorting) and the "class vector" -- Recursion....
图书
3
出版 2015
书本目录: ... Recursive Functions by Virus Machines -- About models derived from colonies....
获取全文
电子 电子书
4
出版 2012
书本目录: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
获取全文
电子 电子书
5
出版 2005
书本目录: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
获取全文
电子 电子书
6
出版 2007
书本目录: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
获取全文
电子 电子书
7
Deitel, Paul J.
出版 2009
书本目录: ... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...
图书
8
出版 2008
书本目录: ... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...
获取全文
电子 电子书
9
出版 2005
书本目录: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
获取全文
电子 电子书
10
主题: ...Programming languages (Electronic computers)....
获取全文
电子 电子书
11
书本目录: ... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...
获取全文
电子 电子书
12
出版 2006
书本目录: ... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...
获取全文
电子 电子书
13
书本目录: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
获取全文
电子 电子书
14
主题: ...Java (Computer program language)....
获取全文
电子 电子书
15
出版 2015
书本目录: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
获取全文
电子 电子书
16
出版 2010
书本目录: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
获取全文
电子 电子书
17
Horstmann, Cay S.
出版 2013
主题: ...Java (Computer program language)....
Cover image
图书
18
出版 2010
书本目录: ... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...
获取全文
电子 电子书