1.

図書
図書
1. オートマトンの理論
小林孝次郎, 高橋正子共著
出版情報: 東京 : 共立出版, 1983.7
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 11
所蔵情報: loading…
2.

図書
図書
2. Theories of types and proofs
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)
出版情報: Tokyo : Mathematical Society of Japan, 1998
シリーズ名: MSJ memoirs ; v. 2
所蔵情報: loading…
3.

視聴覚資料
ＡＶ
3. 肺がんのターミナル期にある患者の看護事例. 2版
医学映像教育センター製作著作
出版情報: 東京 : 医学映像教育センター, c2012
シリーズ名: 看護教育シリーズ / 医学映像教育センター制作著作 ; . 看護のためのアセスメント事例集||カンゴ ノ タメ ノ アセスメント ジレイシュウ ; 12
所蔵情報: loading…
4.

図書
図書
4. コンピュータと数学
高橋正子著
出版情報: 東京 : 朝倉書店, 2016.5
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 2
所蔵情報: loading…
5.

図書
図書
5. 計算論 : 計算可能性とラムダ計算
高橋正子著
出版情報: 東京 : 近代科学社, 1991.8
シリーズ名: コンピュータサイエンス大学講座 ; 24
所蔵情報: loading…