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