close
1.

図書
図書
1. Algorithms : a functional programming approach. 2nd ed
Fethi Rabhi, Guy Lapalme
出版情報: Harlow, England ; Reading, Mass. : Addison-Wesley, 1999  xi, 235 p.: ill. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Functional Programming in Haskell
The Efficiency of Functional Programs
Concrete Data Types
Abstract Data Types
Sorting
Graph Algorithms
Top-down Design Techniques
Dynamic Programming
Advanced Topics
Bibliography
Haskell Impelementations / A：
Mathematical Background / B：
Index
Introduction
Functional Programming in Haskell
The Efficiency of Functional Programs
2.

図書
図書
2. Algorithm engineering and experimentation : International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers
Michael T. Goodrich, Catherine C. McGeoch (eds.)
出版情報: Berlin ; New York : Springer, c1999  viii, 347 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1619
所蔵情報: loading…
3.

図書
図書
3. C++ algorithms for digital signal processing
Paul M. Embree, Damon Danieli
出版情報: Upper Saddler River, N.J. : Prentice Hall, c1999  xviii, 579 p. ; 25 cm.
所蔵情報: loading…
4.

図書
図書
4. Data structure and algorithms with object-oriented design patterns in Java
Bruno R. Preiss
出版情報: New York : John Wiley & Sons, 1999  xvii, 635 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Analysis
Asymptotic Notation
Foundational Data Structures
Data Types and Abstraction
Stacks, Queues, and Deques
Ordered Lists and Sorted Lists
Hashing, Hash Tables, and Scatter Tables
Trees
Search Trees
Heaps and Priority Queues
Sets, Multisets, and Partitions
Garbage Collection
Algorithmic Patterns and Problem Solvers
Sorting Algorithms and Sorters
Graphs and Graph Algorithms
Appendices
Bibliography
Index
Algorithm Analysis
Asymptotic Notation
Foundational Data Structures
5.

図書
図書
5. Universal routing strategies for interconnection networks
Christian Scheideler
出版情報: Berlin : Springer, c1998  xvii, 234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1390
所蔵情報: loading…
6.

図書
図書
6. Lectures on proof verification and approximation algorithms
Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1367
所蔵情報: loading…
目次情報: 続きを見る
This textbook-like tutorial is a coherent
And essentially self-contained presentation of the enormous
Recent progress facilitated by the interplay
Between the theory of probabistically checkable
Proofs and aproximation algorithms
The basic concepts, methods, and results are presented
In a unified way to provide a smooth introduction for newcomers
These lectures are particularly useful for advanced
Courses or reading groups on the topic
This textbook-like tutorial is a coherent
And essentially self-contained presentation of the enormous
Recent progress facilitated by the interplay
7.

図書
図書
7. Fundamentals of the theory of computation : principles and practice (: pbk)
Raymond Greenlaw, H. James Hoover
出版情報: San Francisco, Calif. : Morgan Kaufmann, c1998  xvi, 336 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Regular Expressions and Languages
Fundamental Machines
Finite State Control Machines
Properties of Finite State Languages
Stack and Tape Machines
Grammars
Computation Complexity
Circuit Complexity
Feasible Problems
Intractable Problems
Preface
Introduction
Languages and Problems
Finite Automata Properties of Finite-State Languages / Machines I：
Stacks and Tapes Grammars / Machines II：
Computational Complexity Circuit Complexity Feasible Problems Intractable Problems
Regular Expressions and Languages
Fundamental Machines
Finite State Control Machines
8.

図書
図書
8. Optimal interprocedural program optimization : a new framework and its application
Jens Knoop
出版情報: Berlin ; Tokyo : Springer, c1998  xxv, 288 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1428
所蔵情報: loading…
9.

図書
図書
9. Algorithms and theory of computation handbook
edited by Mikhail J. Atallah
出版情報: Boca Raton, Fla. : CRC Press, 1999  1 v. ; 26 cm
所蔵情報: loading…
10.

図書
図書
10. Pattern matching algorithms
edited by Alberto Apostolico, Zvi Galil
出版情報: New York : Oxford University Press, 1997  377 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Off-Line Serial Exact String Searching / M. Crochemore1：
Off-Line Parallel Exact String Searching / Z. Galil ; I. Yudkiewicz2：
On-Line String Searching, A. Apostolico / 3：
Serial Computations of Levenshtein Distances / D.S. Hirschberg4：
Parallel Computations of Levenshtein Distances / A. Apostolico ; M.J. Atallah5：
Approximate String Searching / G.M. Landau ; U. Vishkin6：
Dynamic Programming: Special Cases / R. Giancarlo7：
Shortest Common Superstrings / M. Li ; T. Jiang8：
Two Dimensional Matching / A. Amir ; M. Farach9：
Suffix Tree Data Structures for Matrices / R. Grossi10：
Tree Pattern Matching / K. Zhang ; D. Shasha11：
Off-Line Serial Exact String Searching / M. Crochemore1：
Off-Line Parallel Exact String Searching / Z. Galil ; I. Yudkiewicz2：
On-Line String Searching, A. Apostolico / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼