Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
reasoning method » reasoning methods
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
reasoning method » reasoning methods
1
Опубликовано 2006
Оглавление:
“... QUALITATIVE SPATIAL REASONING -- ICA-SCS DENOISING METHOD FOR WATERMARKING SCHEME -- STUDY AND IMPLEMENTATION...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2015
Оглавление:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... Support System for Fish Feeding Based on Hybrid Reasoning -- Design and Implementation of Parent Fish...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... -- Specifying and Reasoning About Dynamic Access-Control Policies -- On Keys and Functional Dependencies...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2007
Оглавление:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2008
Оглавление:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2007
Оглавление:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2007
Оглавление:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2014
Оглавление:
“... of Variability for Some Subclasses of Univalent Functions -- Chapter 11. Ideal cone: a new method to generate...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2007
Оглавление:
“... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2015
Оглавление:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2007
Оглавление:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2007
Оглавление:
“... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2008
Оглавление:
“... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”Полный текст
Электронный ресурс
eКнига