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