Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
structure computational » structures computational, structure composition
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
defining basic » defining seasia, defining cases, training basic
basic text » basic texts
structure computational » structures computational, structure composition
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
defining basic » defining seasia, defining cases, training basic
basic text » basic texts
1
Publicado 2005
Table of Contents:
“... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Ligazón do recurso
Electrónico
eBook
4
Subjects:
“...Programming languages (Electronic computers)....”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Ligazón do recurso
Electrónico
eBook
6
7
Publicado 2007
Table of Contents:
“... i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2012
Table of Contents:
“...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...”Ligazón do recurso
Electrónico
eBook
9
Table of Contents:
“...Introduction -- Installing and Updating R -- Running R -- Help and Documentation -- Programming...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
10
Table of Contents:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
11
Table of Contents:
“...Introduction -- Basic Arrangements -- Queries and Free Functions -- Arrangements of Unbounded...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
13
Publicado 2007
Table of Contents:
“... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...”Ligazón do recurso
Electrónico
eBook