close
1.

図書
図書
1. Efficiency in program synthesis
by Elaine Kant
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  viii, 162 p. ; 23 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 8
所蔵情報: loading…
2.

図書
図書
2. Fundamental structures of computer science (hard. ; pbk.)
William A. Wulf ... [et al.]
出版情報: Reading, Mass. : Addison-Wesley, c1981  xviii, 621 p. ; 24 cm
所蔵情報: loading…
3.

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

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

図書
図書
5. Program flow analysis : theory and applications
[edited by] Steven S. Muchnick, Neil D. Jones
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  xvii, 418 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼