close
1.

図書
図書
1. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
2.

図書
図書
2. Algorithms for approximation : based on the proceedings of the IMA Conference on Algorithms for the Approximation of Functions and Data held at the Royal Military College of Science, Shrivenham, July 1985
edited by J.C. Mason and M.G. Cox
出版情報: Oxford : Clarendon Press, 1987  xvi, 694 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; New series ; 10
所蔵情報: loading…
目次情報: 続きを見る
Development of Algorithms / Part 1：
Spline Approximation and Smoothing / 1：
Spline Interpolation and Shape Preservation / 2：
Multivariate Interpolation / 3：
Least Square Methods / 4：
Rational Approximation / 5：
Complex and Nonlinear Approximation / 6：
Computer-Aided Design and Blending / 7：
Applications / Part 2：
Applications in Numerical Analysis / 8：
Applications in Partial Differential Equations / 9：
Applications in Other Disciplines / 10：
Software / Part 3：
Development of Algorithms / Part 1：
Spline Approximation and Smoothing / 1：
Spline Interpolation and Shape Preservation / 2：
3.

図書
図書
3. Graphs, networks, and algorithms
M.N.S. Swamy, K. Thulasiraman
出版情報: New York : Wiley, c1981  xviii, 592 p. ; 24 cm
シリーズ名: A Wiley-Interscience publication
所蔵情報: loading…
4.

図書
図書
4. Algorithms for games (: us ; : gw)
G.M. Adelson-Velsky, V.L. Arlazarov, M.V. Donskoy ; [translator, Arthur Brown]
出版情報: New York ; Berlin ; Tokyo : Springer, c1988  x, 197 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Algorithms and applications on vector and parallel computers
edited by H.J.J. te Riele, Th.J. Dekker, H.A. van der Vorst
出版情報: Amsterdam ; Tokyo : North-Holland, 1987  xi, 457 p. ; 25 cm
シリーズ名: Special topics in supercomputing ; v. 3
所蔵情報: loading…
6.

図書
図書
6. Algorithms : their complexity and efficiency. 2nd ed.
Lydia Kronsjö
出版情報: Chichester ; New York : Wiley, c1987  xiii, 363 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
7.

図書
図書
7. The characteristics of parallel algorithms
edited by Leah H. Jamieson, Dennis Gannon, Robert J. Douglass
出版情報: Cambridge, Mass. : MIT Press, c1987  ix, 440 p. ; 24 cm
シリーズ名: MIT Press series in scientific computation
所蔵情報: loading…
8.

図書
図書
8. Signal processing algorithms
Samuel D. Stearns, Ruth A. David
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1988  xii, 349 p. ; 24 cm.
シリーズ名: Prentice Hall signal processing series
所蔵情報: loading…
9.

図書
図書
9. Unobstructed shortest paths in polyhedral environments (: gw ; : us)
Varol Akman
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  103 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 251
所蔵情報: loading…
10.

図書
図書
10. Algorithms and complexity
Herbert S. Wilf
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  vi, 231 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preface to the Second Edition
What this Book Is About / 0：
Background / 0.1：
Hard versus Easy Problems / 0.2：
A Preview / 0.3：
Mathematical Preliminaries / 1：
Orders of Magnitude / 1.1：
Positional Number Systems / 1.2：
Manipulations with Series / 1.3：
Recurrence Relations / 1.4：
Counting / 1.5：
Graphs / 1.6：
Recursive Algorithms / 2：
Introduction / 2.1：
Quicksort / 2.2：
Recursive Graph Algorithms / 2.3：
Fast Matrix Multiplication / 2.4：
The Discrete Fourier Transform / 2.5：
Applications of the FFT / 2.6：
A Review / 2.7：
Bibliography / 2.8：
The Network Flow Problem / 3：
Algorithms for the Network Flow Problem / 3.1：
The Algorithm of Ford and Fulkerson / 3.3：
The Max-Flow Min-Cut Theorem / 3.4：
The Complexity of the Ford-Fulkerson Algorithm / 3.5：
Layered Networks / 3.6：
The MPM Algorithm / 3.7：
Applications of Network Flow / 3.8：
Algorithms in the Theory of Numbers / 4：
Preliminaries / 4.1：
The Greatest Common Divisor / 4.2：
The Extended Euclidean Algorithm / 4.3：
Primality Testing / 4.4：
Interlude: The Ring of Integers Modulo n / 4.5：
Pseudoprimality Tests / 4.6：
Proof of Goodness of the Strong Pseudoprimality Test / 4.7：
Factoring and Cryptography / 4.8：
Factoring Large Integers / 4.9：
Proving Primality / 4.10：
NP-Completeness / 5：
Turing Machines / 5.1：
Cook's Theorem / 5.3：
Some Other NP-Complete Problems / 5.4：
Half a Loaf ... / 5.5：
Backtracking (I): Independent Sets / 5.6：
Backtracking (II): Graph Coloring / 5.7：
Approximate Algorithms for Hard Problems / 5.8：
Hints and Solutions for Selected Problems
Index
Preface
Preface to the Second Edition
What this Book Is About / 0：
11.

図書
図書
11. Combinatorial algorithms
T.C. Hu
出版情報: Reading, MA : Addison-Wesley Pub. Co., c1982  292 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Shortest Paths / Chapter 1：
Graph terminology / 1.1：
Shortest path / 1.2：
Multiterminal shortest paths / 1.3：
Decomposition algorithm / 1.4：
Acyclic network / 1.5：
Shortest paths in a general network / 1.6：
Minimum spanning tree / 1.7：
Breadth-first-search and depth-first-search / 1.8：
Maximum flows / Chapter 2：
Maximum flow / 2.1：
Algorithms for max flows / 2.2：
Ford and Fulkerson / 2.2.1：
Karzanov's algorithm / 2.2.2：
MPM algorithms / 2.2.3：
Analysis of algorithms / 2.2.4：
Multi-terminal maximum flows / 2.3：
Realization / 2.3.1：
Analysis / 2.3.2：
Synthesis / 2.3.3：
Multi-commodity flows / 2.3.4：
Minimum cost flows / 2.4：
Applications / 2.5：
Sets of distinct representatives / 2.5.1：
PERT / 2.5.2：
Optimum communication spanning tree / 2.5.3：
Dynamic programming / Chapter 3：
Introduction / 3.1：
Knapsack problem / 3.2：
Two-dimensional knapsack problem / 3.3：
Minimum-cost alphabetic tree / 3.4：
Summary / 3.5：
Backtracking / Chapter 4：
Estimating the efficiency of backtracking / 4.1：
Branch and bound / 4.3：
Game-tree / 4.4：
Binary tree / Chapter 5：
Huffman's tree / 5.1：
Alphabetic tree / 5.3：
Hu-Tucker algorithm / 5.4：
Feasibility and optimality / 5.5：
Garsia and Wachs' algorithm / 5.6：
Regular cost function / 5.7：
T-ary tree and other results / 5.8：
Heuristic and near optimum / Chapter 6：
Greedy algorithm / 6.1：
Bin-packing / 6.2：
Job-scheduling / 6.3：
Job-scheduling (tree-constraints) / 6.4：
Matrix multiplication / Chapter 7：
Strassen's matrix multiplication / 7.1：
Optimum order of multiplying matrices / 7.2：
Partitioning a convex polygon / 7.3：
The heuristic algorithm / 7.4：
NP-complete / Chapter 8：
Polynomial algorithms / 8.1：
Nondeterministic algorithms / 8.3：
NP-complete problems / 8.4：
Facing a new problem / 8.5：
Local indexing algorithms / Chapter 9：
Mergers of algorithms / 9.1：
Maximum flows and minimum cuts / 9.2：
Maximum adjacency and minimum separation / 9.3：
Gomory-Hu tree / Chapter 10：
Tree edges and tree links / 10.1：
Contraction / 10.2：
Domination / 10.3：
Equivalent formulations / 10.4：
Optimum mergers of companies / 10.4.1：
Optimum circle partition / 10.4.2：
Extreme stars and host-feasible circles / 10.5：
The high-level approach / 10.6：
Chop-stick method / 10.7：
Relationship between phases / 10.8：
The staircase diagram / 10.9：
Complexity issues / 10.10：
Comments on Chapters 2, 5 & 6 / Appendix A：
Ancestor trees / A.1：
Minimum surface or plateau problem / A.2：
Comments on binary trees in chapter 5 / A.3：
A simple proof of the Hu-Tucker algorithm / A.3.1：
Binary search trees / A.3.2：
Binary search on a tape / A.3.3：
Comments on §6.2, bin-packing / A.4：
Network algebra / Appendix B：
Shortest Paths / Chapter 1：
Graph terminology / 1.1：
Shortest path / 1.2：
12.

図書
図書
12. Algorithms
Robert Sedgewick
出版情報: Reading, Mass. : Addison-Wesley, c1983  viii, 551 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: loading…
13.

図書
図書
13. Analysis of speedup in distributed algorithms
by John P. Fishburn
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  vii, 118 p. ; 24 cm
シリーズ名: Computer science : distributed database systems ; no. 14
所蔵情報: loading…
14.

図書
図書
14. Identification of industrial processes : the application of computers in research and production control
N. S. Rajbman and V. M. Chadeev ; translator F. W. Gerretsen ; scientific editor P. Eykhoff
出版情報: Amsterdam ; New York : North-Holland Publishing Co. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  xiv, 435 p. ; 23 cm
所蔵情報: loading…
15.

図書
図書
15. Formal differentiation : a program synthesis technique
by Robert A. Paige
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  x, 277 p. ; 24 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 6
所蔵情報: loading…
16.

図書
図書
16. The design and analysis of parallel algorithms (: pbk)
Selim G. Akl
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1989  xiii, 401 p. ; 25 cm
所蔵情報: loading…
17.

図書
図書
17. Fast algorithms and their implementation on specialized parallel computers (: us)
J. Mikloško ... [et al.] ; edited by J. Mikloško
出版情報: Bratislava : VEDA, Pub. House of the Slovak Academy of Sciences , Amsterdam ; Tokyo : North-Holland, 1989  xv, 261 p. ; 25 cm
シリーズ名: Special topics in supercomputing ; v. 5
所蔵情報: loading…
18.

図書
図書
18. Efficient parallel algorithms
Alan Gibbons, Wojciech Rytter
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, c1988  viii, 259 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
The model of parallel computation / 1.1：
Some general algorithmic techniques / 1.2：
Reducing the number of processors / 1.3：
Examples of fast parallel computations on vectors and lists / 1.4：
Bibliography
Graph algorithms / 2：
Parallel computations on trees / 2.1：
Paths, spanning trees, connected components and blocks / 2.2：
Eulerian circuits and maximal matchings / 2.3：
Colouring of graphs / 2.4：
Bibliographic notes
Expression evaluation / 3：
Constructing the expression tree / 3.1：
A parallel pebble game with applications to expression evaluation / 3.2：
An optimal parallel algorithm for expression evaluation / 3.3：
The optimal parallel transformation of regular expressions to non-deterministic finite automata / 3.4：
Evaluation of generalised expressions: straight-line programs / 3.5：
More efficient algorithms for dynamic programming / 3.6：
A more algebraic point of view: a method of simultaneous substitutions / 3.7：
Parallel recognition and parsing of context-free languages / 4：
Parallel recognition of general context-free languages / 4.1：
Parallel recognition of unambiguous context-free languages / 4.2：
Parallel parsing of general context-free languages / 4.3：
Optimal parallel recognition and parsing of bracket languages / 4.4：
Optimal parallel recognition of input-driven languages / 4.5：
Fast parallel sorting / 5：
Batcher's sorting networks / 5.1：
Cole's optimal parallel merge sort / 5.2：
A theoretical optimal sorting network: Paterson's version of the algorithm of Ajtai, Komlos and Szemeredi / 5.3：
Parallel string matching / 6：
Analysis of the text / 6.1：
Preprocessing the pattern / 6.2：
Complexity of the whole pattern-matching algorithm / 6.3：
P-completeness: hardly parallelisable problems / 7：
A first P-complete problem / 7.1：
A selection of P-complete problems / 7.2：
Index of definitions, techniques and algorithms
Preface
Introduction / 1：
The model of parallel computation / 1.1：
19.

図書
図書
19. Algorithms for clustering data
Anil K. Jain, Richard C. Dubes
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1988  xiv, 320 p. ; 24 cm
シリーズ名: Prentice Hall advanced reference series ; . Computer science
所蔵情報: loading…
20.

図書
図書
20. Algorithms for graphics and image processing
Theo Pavlidis
出版情報: Rockville, MD : Computer Science Press, c1982  xv, 416 p., [29] p. of plates ; 24 cm
所蔵情報: loading…
21.

図書
図書
21. The theory of algorithms
by A.A. Markov and N.M. Nagorny ; translated by M. Greendlinger
出版情報: Dordrecht ; Boston : Kluwer Academic, c1988  xxiv, 369 p. ; 25 cm
シリーズ名: Mathematics and its applications ; Soviet series ; 23
所蔵情報: loading…
22.

図書
図書
22. Parallel algorithms and matrix computation (: pbk)
Jagdish J. Modi
出版情報: Oxford [Oxfordshire] : Clarendon Press , New York ; Tokyo : Oxford University Press, 1988  xi, 260 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
23.

図書
図書
23. Genetic algorithms in search, optimization, and machine learning
David E. Goldberg
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1989  xiii, 412 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Genetic Algorithms Revisited: Mathematical Foundations
Computer Implementation of a Genetic Algorithm
Some Applications of Genetic Algorithms
Advanced Operators and Techniques in Genetic Search
Introduction to Genetics-Based Machine Learning
Applications of Genetics-Based Machine Learning
A Look Back, A Glance Ahead
Appendixes
Genetic Algorithms Revisited: Mathematical Foundations
Computer Implementation of a Genetic Algorithm
Some Applications of Genetic Algorithms
24.

図書
図書
24. Learning algorithms theory and applications (: us ; : gw)
S. Lakshmivarahan
出版情報: New York : Springer-Verlag, c1981  x, 279 p. ; 24 cm
所蔵情報: loading…
25.

図書
図書
25. Algorithms for parallel polygon rendering (: gw ; : us)
T. Theoharis
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vii, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 373
所蔵情報: loading…
26.

図書
図書
26. Logical and combinatorial algorithms for drug design (: Research Studies Press ; : Wiley)
V.E. Golender and A.B. Rozenblit
出版情報: Letchworth, Hertfordshire, Eng. : Research Studies Press , New York : Wiley, c1983  xiii, 289 p. ; 24 cm
シリーズ名: Chemometrics series ; 6
所蔵情報: loading…
27.

図書
図書
27. Design and analysis of algorithms
Jeffrey D. Smith
出版情報: Boston : PWS-KENT Pub. Co., c1989  xiii, 447 p. ; 25 cm
シリーズ名: Computer science series
所蔵情報: loading…
28.

図書
図書
28. Mathematics for the analysis of algorithms
Daniel H. Greene, Donald E, Knuth
出版情報: Boston : Birkhäuser, c1981  107 p. ; 24 cm
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
29.

図書
図書
29. C tools for scientists and engineers (: pbk)
Louis Baker
出版情報: New York : McGraw-Hill, c1989  xii, 324 p. ; 23 cm
シリーズ名: Computing that works
所蔵情報: loading…
30.

図書
図書
30. Practical numerical algorithms for chaotic systems (: us ; : gw)
Thomas S. Parker, Leon O. Chua
出版情報: New York ; Berlin : Springer-Verlag, c1989  xiv, 348 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Steady-State Solutions
PoincarF Maps
Stability
Integration
Locating Limit Sets
Manifolds
Dimension
Bifurcation Diagrams
Programming
Phase Portraits
The Newton-Raphson Algorithm
The Variational Equation
Differential Topology
The PoincarF Map
One Lyapunov Exponent Vanishes
Cantor Sets
List ot Symbols
Bibliography
Index
Steady-State Solutions
PoincarF Maps
Stability
31.

図書
図書
31. Algorithms and data structures
Niklaus Wirth
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  288 p. ; 25 cm
所蔵情報: loading…
32.

図書
図書
32. Algorithms : the construction, proof, and analysis of programs (: pbk)
Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
出版情報: Chichester [West Sussex] ; New York : J. Wiley, c1986  ix, 145 p. ; 23 cm
所蔵情報: loading…
33.

図書
図書
33. Systems of reductions (: gw ; : us)
B. Benninghofen, S. Kemmerich, M.M. Richter
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 263 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 277
所蔵情報: loading…
目次情報: 続きを見る
Finite Sets of Reductions
Infinite Sets of Reductions
Automata and Reductions
Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto
References
Subject Index
List of Symbols and Abbreviations
Finite Sets of Reductions
Infinite Sets of Reductions
Automata and Reductions
34.

図書
図書
34. Algorithmics : the spirit of computing (: pbk)
David Harel
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1987  xiv, 425 p. ; 24 cm
所蔵情報: loading…
35.

図書
図書
35. Algorithmics : theory and practice (: pbk)
Gilles Brassard and Paul Bratley
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1988  xvi, 361 p. ; 25 cm
所蔵情報: loading…
36.

図書
図書
36. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985  x, 224 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
37.

図書
図書
37. Introduction to algorithms : a creative approach
Udi Manber
出版情報: Reading, Mass. : Addison-Wesley, c1989  xiv, 478 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Mathematical Induction
Analysis of Algorithms
Data Structures
Design of Algorithms by Induction
Algorithms Involving Sequences and Sets
Graph Algorithms
Geometric Algorithms
Algebraic and Numeric Algorithms
Reductions
NP-Completeness
Parallel Algorithms
Introduction
Mathematical Induction
Analysis of Algorithms
38.

図書
図書
38. Algorithms for network programming
Jeff L. Kennington, Richard V. Helgason
出版情報: New York : Wiley, c1980  xiii, 291 p. ; 24 cm
所蔵情報: loading…
39.

図書
図書
39. Fast algorithms for digital signal processing
Richard E. Blahut
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1985  xiv, 441 p. ; 24 cm
所蔵情報: loading…
40.

図書
図書
40. Data structures and algorithms
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley, c1983  xi, 427 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: loading…
41.

図書
図書
41. Graphs and algorithms
Michel Gondran and Michel Minoux ; translated by Steven Vajda
出版情報: Chichester [West Sussex] ; New York : Wiley, c1984  xix, 650 p. ; 25 cm
シリーズ名: Wiley-Interscience series in discrete mathematics
所蔵情報: loading…
42.

図書
図書
42. Efficient parsing for natural language : a fast algorithm for practical systems
by Masaru Tomita
出版情報: Boston : Kluwer Academic Publishers, c1985  xviii, 201 p. ; 25 cm
シリーズ名: The Kluwer international series in engineering and computer science ; . Natural language processing and machine translation
所蔵情報: loading…
43.

図書
図書
43. Genetic algorithms and simulated annealing (: uk ; : us)
edited by Lawrence Davis
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann Publishers, 1987  216 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼