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