close
1.

電子ブック
ＥＢ
1. Models of Computation
Maribel Fern?ndez, Samson Abramsky, Ian Mackie, Samson Abramsky, Chris Hankin, Dexter Kozen, Andrew Pitts, Hanne Riis Nielson, Steven Skiena, Ian Stewart, David Zhang. edited by 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.

電子ブック
ＥＢ
2. Principles of Digital Image Processing
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
3.

電子ブック
ＥＢ
3. Principles of Digital Image Processing
Wilhelm Burger, Samson Abramsky, Mark James Burge, Mark J. Burge, Chris Hankin
出版情報: SpringerLink Books - AutoHoldings , 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
4.

電子ブック
ＥＢ
4. Models of Computation
Maribel Fernández, Samson Abramsky, Ian Mackie, Samson Abramsky, Chris Hankin, Dexter Kozen, Andrew Pitts, Hanne Riis Nielson, Steven Skiena, Ian Stewart, David Zhang. edited by Ian Mackie, Chris Hankin
出版情報: SpringerLink Books - AutoHoldings , 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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼