close
1.

図書
図書
1. Trace theory and VLSI design (: gw ; : us)
Jan L.A. van de Snepscheut
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 140 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 200
所蔵情報: loading…
2.

図書
図書
2. Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings (: gw ; : us)
J.L.A. van de Snepscheut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 420 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 375
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼