close
1.

電子ブック

EB
Maribel Fernández, Samson Abramsky, Ian Mackie
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Models of computation / 1.1:
Some non-computable functions / 1.2:
Further reading / 1.3:
Exercises / 1.4:
Traditional Models of Computation / Part I:
Automata and Turing Machines / 2:
Formal languages and automata / 2.1:
Finite automata / 2.2:
Deterministic and non-deterministic automata / 2.2.1:
The power of finite automata / 2.2.2:
Push-down automata / 2.3:
Turing machines / 2.4:
Variants of Turing machines / 2.4.1:
The universal Turing machine / 2.4.2:
Imperative programming / 2.5:
The Lambda Calculus / 2.6:
Lambda-calculus: Syntax / 3.1:
Computation / 3.2:
Substitution / 3.2.1:
Normal forms / 3.2.2:
Properties of reductions / 3.2.3:
Reduction strategies / 3.2.4:
Arithmetic functions / 3.3:
Booleans / 3.4:
Recursion / 3.5:
Functional programming / 3.6:
Recursive Functions / 3.7:
Primitive recursive functions / 4.1:
Partial recursive functions / 4.2:
Programming with functions / 4.3:
Logic-Based Models of Computation / 4.4:
The Herbrand universe / 5.1:
Logic programs / 5.2:
Answers / 5.2.1:
Computing with logic programs / 5.3:
Unification / 5.3.1:
The Principle of Resolution / 5.3.2:
Prolog and the logic programming paradigm / 5.4:
Modern Models of Computation / 5.5:
Computing with Objects / 6:
Object calculus: Syntax / 6.1:
Reduction rules / 6.2:
Computation power / 6.3:
Object-oriented programming / 6.4:
Combining objects and functions / 6.5:
Interaction-Based Models of Computation / 6.6:
The paradigm of interaction / 7.1:
Numbers and arithmetic operations / 7.2:
Turing completeness / 7.3:
More examples: Lists / 7.4:
Combinators for interaction nets / 7.5:
Textual languages and strategies for interaction nets / 7.6:
A textual interaction calculus / 7.6.1:
Properties of the calculus / 7.6.2:
Normal forms and strategies / 7.6.3:
Extensions to model non-determinism / 7.7:
Concurrency / 7.8:
Specifying concurrent systems / 8.1:
Simulation and bisimulation / 8.2:
A language to write processes / 8.3:
A language for communicating processes / 8.4:
Another view of concurrency: The chemical metaphor / 8.5:
Emergent Models of Computation / 8.6:
Bio-computing / 9.1:
Membrane calculi / 9.1.1:
Protein interaction calculi / 9.1.2:
Quantum computing / 9.2:
Answers to Selected Exercises / 9.3:
Bibliography
Index
Introduction / 1:
Models of computation / 1.1:
Some non-computable functions / 1.2:
2.

電子ブック

EB
Wilhelm Burger, Samson Abramsky, Mark James Burge
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Regions in Binary Images
Detecting Simple Curves
Corner Detection
Color Quantization.-Colorimetric Color Spaces
introduction to spectral techniques
the Discrete Fourier Transform in 2D
The Discrete Cosine Transform (DCT)
Geometric Operations
Comparing Images
Mathematical Notation / Appendix A:
Source Code / Appendix B:
Bibliography
Introduction
Regions in Binary Images
Detecting Simple Curves
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼