1.

図書
図書
1. A review of Ada tasking
Alan Burns, Andrew M. Lister, Andrew J. Wellings
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 262
所蔵情報: loading…
2.

図書
図書
2. ANNA : a language for annotating Ada programs : reference manual
David C. Luckham ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 260
所蔵情報: loading…
3.

図書
図書
3. The wide spectrum language CIP-L
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
4.

図書
図書
4. A hierarchical associative processing system
Heinrich J. Stüttgen
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 195
所蔵情報: loading…
5.

図書
図書
5. A study in string processing languages
Paul Klint
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 205
所蔵情報: loading…
6.

図書
図書
6. Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 201
所蔵情報: loading…
7.

図書
図書
7. PORTAL language description
Arnold Businger
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 198
所蔵情報: loading…
8.

図書
図書
8. Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types
Mark Steven Sherman
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 189
所蔵情報: loading…
9.

図書
図書
9. Negation and control in Prolog
Lee Naish
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 238
所蔵情報: loading…
10.

図書
図書
10. Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: loading…