在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
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...”获取全文
电子
电子书
2
出版 2008
书本目录:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”获取全文
电子
电子书
3
出版 2015
书本目录:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”获取全文
电子
电子书
4
出版 2013
书本目录:
“... Support System for Fish Feeding Based on Hybrid Reasoning -- Design and Implementation of Parent Fish...”获取全文
电子
电子书
5
出版 2006
书本目录:
“... -- Specifying and Reasoning About Dynamic Access-Control Policies -- On Keys and Functional Dependencies...”获取全文
电子
电子书
6
出版 2007
书本目录:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”获取全文
电子
电子书
7
出版 2007
书本目录:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”获取全文
电子
电子书
8
出版 2008
书本目录:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”获取全文
电子
电子书
9
出版 2007
书本目录:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”获取全文
电子
电子书
10
出版 2007
书本目录:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”获取全文
电子
电子书
11
出版 2014
书本目录:
“... of Variability for Some Subclasses of Univalent Functions -- Chapter 11. Ideal cone: a new method to generate...”获取全文
电子
电子书
12
出版 2007
书本目录:
“... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”获取全文
电子
电子书
13
出版 2015
书本目录:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”获取全文
电子
电子书
14
出版 2007
书本目录:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”获取全文
电子
电子书
15
出版 2007
书本目录:
“... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”获取全文
电子
电子书
16
出版 2008
书本目录:
“... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”获取全文
电子
电子书
17
出版 2008
书本目录:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”获取全文
电子
电子书
18
书本目录:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
获取全文
获取全文
电子
电子书
19
出版 2006
书本目录:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”获取全文
电子
电子书
20
出版 2008
书本目录:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”获取全文
电子
电子书