1
Argitaratua 2005
Aurkibidea: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Testu osoa
Baliabide elektronikoa eBook
2
nork Malik, D. S.
Argitaratua 2009
Aurkibidea: ...An overview of computers and programming languages -- Basic elements of C++ -- Input/output...
Liburua
3
nork Hazrat, Roozbeh., Hazrat, Roozbeh.
Argitaratua 2015
Aurkibidea: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2015
Aurkibidea: ... Recursive Functions by Virus Machines -- About models derived from colonies....
Testu osoa
Baliabide elektronikoa eBook
5
nork Hazrat, Roozbeh., Hazrat, Roozbeh.
Argitaratua 2010
Gaiak: ...Programming languages (Electronic computers)....
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2012
Aurkibidea: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2005
Aurkibidea: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2015
Aurkibidea: ... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...
Testu osoa
Baliabide elektronikoa eBook
10
nork Deitel, Paul J.
Argitaratua 2009
Aurkibidea: ... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...
Liburua
11
Argitaratua 2008
Aurkibidea: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2005
Aurkibidea: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testu osoa
Baliabide elektronikoa eBook
13
nork Kalicharan, Noel., Kalicharan, Noel.
Argitaratua 2013
Gaiak: ...Programming languages (Electronic computers)....
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2006
Aurkibidea: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Testu osoa
Baliabide elektronikoa eBook
15
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
16
nork Kalicharan, Noel., Kalicharan, Noel.
Argitaratua 2014
Gaiak: ...Java (Computer program language)....
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2015
Aurkibidea: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
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: ... Approach for Selecting Features in High-Dimensional Micro-array Data -- A Novel Distribution of Local...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2002
Aurkibidea: ... of Human Genetic Diseases -- CFTR structure and Function: -- Electrophysiological Approach to Studying CFTR...
Testu osoa
Baliabide elektronikoa eBook