1
Argitaratua 2005
Aurkibidea: ... and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces...
Testu osoa
Baliabide elektronikoa eBook
2
nork Malik, D. S.
Argitaratua 2009
Aurkibidea: ... -- Pointers -- Applications of arrays (searching and sorting) and the "class vector" -- Recursion....
Liburua
3
Argitaratua 2015
Aurkibidea: ... Recursive Functions by Virus Machines -- About models derived from colonies....
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2012
Aurkibidea: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2015
Aurkibidea: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
Testu osoa
Baliabide elektronikoa eBook
8
nork Deitel, Paul J.
Argitaratua 2009
Aurkibidea: ... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...
Liburua
9
Argitaratua 2008
Aurkibidea: ... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2005
Aurkibidea: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testu osoa
Baliabide elektronikoa eBook
11
nork Kalicharan, Noel., Kalicharan, Noel.
Argitaratua 2013
Gaiak: ...Programming languages (Electronic computers)....
Testu osoa
Baliabide elektronikoa eBook
12
nork Hazrat, Roozbeh., Hazrat, Roozbeh.
Argitaratua 2015
Aurkibidea: ... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2006
Aurkibidea: ... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...
Testu osoa
Baliabide elektronikoa eBook
14
nork Hazrat, Roozbeh., Hazrat, Roozbeh.
Argitaratua 2010
Aurkibidea: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
Testu osoa
Baliabide elektronikoa eBook
15
nork Kalicharan, Noel., Kalicharan, Noel.
Argitaratua 2014
Gaiak: ...Java (Computer program language)....
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2010
Aurkibidea: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2015
Aurkibidea: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2010
Aurkibidea: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2010
Aurkibidea: ... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2002
Aurkibidea: ... and Inflammation -- Analysis of Lipid Abnormalities in CF Mice -- Bioelectric Measurement of CFTR Function in Mice...
Testu osoa
Baliabide elektronikoa eBook