Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
structure computational » structures computational, structure composition
functions computation » function computation, functions composition, function composition
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
functions computation » function computation, functions composition, function composition
programming defining » programming designing, programming learning, programming reasoning
defining basic » defining seasia, defining cases, training basic
basic text » basic texts
1
Опубликовано 2005
Оглавление:
“... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Полный текст
Электронный ресурс
eКнига
4
Предметы:
“...Programming languages (Electronic computers)....”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Полный текст
Электронный ресурс
eКнига
6
7
Опубликовано 2007
Оглавление:
“... i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2012
Оглавление:
“...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...”Полный текст
Электронный ресурс
eКнига
9
Оглавление:
“...Introduction -- Installing and Updating R -- Running R -- Help and Documentation -- Programming...”
Полный текст
Полный текст
Электронный ресурс
eКнига
10
Оглавление:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Полный текст
Полный текст
Электронный ресурс
eКнига
11
Оглавление:
“...Introduction -- Basic Arrangements -- Queries and Free Functions -- Arrangements of Unbounded...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2007
Оглавление:
“... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...”Полный текст
Электронный ресурс
eКнига