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