close
1.

図書
図書
1. OS-9/6809 Level2解析マニュアル
金井隆編著
出版情報: 東京 : 秀和システムトレーディング, 1985.2  276p ; 21cm
所蔵情報: loading…
2.

図書
図書
2. A Survey of verification techniques for parallel programs (: gw ; : us)
Howard Barringer
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vi, 114 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: loading…
3.

図書
図書
3. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings (: gw ; : us)
edited by Rohit Parikh
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 424 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 193
所蔵情報: loading…
4.

図書
図書
4. Formal methods and software development : Colloquium on Software Engineering (CSE) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  xiv, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
所蔵情報: loading…
5.

図書
図書
5. Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 (: gw ; : us)
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…
6.

図書
図書
6. Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  xiii, 418 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
7.

図書
図書
7. オブジェクト指向 : 解説とWOOC'85からの論文
鈴木則久編
出版情報: 東京 : 共立出版, 1985.12  vii, 269p ; 22cm
所蔵情報: loading…
8.

図書
図書
8. マイクロプログラミング
馬場敬信著
出版情報: 東京 : 昭晃堂, 1985.6  226p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 23
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼