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 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…
3.

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

図書
図書
4. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985  x, 224 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼