|
|
|
|
D 3.1 C357 1991 :
資訊所圖書室, 數學所圖書室
; 
|
c1991
|
1
|
|
|
D 3.1 C357 1995 : 資訊所圖書室;
|
c1995
|
1
|
|
|
D 3.1 C357 1997 : Biennial Conference on Category Theory and Computer Science;
資訊所圖書室, 數學所圖書室
;
|
c1997
|
1
|
|
|
D 3.1 D232 : 資訊所圖書室;
|
c1988
|
1
|
|
|
D 3.1 D232 1976 : Conference on Data: Abstraction, Definition and Structure;
數學所圖書室, 資訊所圖書室
;
|
1976
|
1
|
|
|
D 3.1 D427 : Deransart, Pierre;
資訊所圖書室, 數學所圖書室
;
|
|
1
|
|
|
D 3.1 E57 : Engelfriet, Joost;
數學所圖書室, 資訊所圖書室, 經濟所圖書館
;
|
1974
|
1
|
|
|
D 3.1 F7235 1964 : IFIP Working Conference on Formal Language Description Languages; 資訊所圖書室;
|
1966
|
1
|
|
|
D 3.1 F7235 2 1977 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
1978
|
1
|
|
|
D 3.1 F7235 2 1982 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
1983
|
1
|
|
|
D 3.1 F7235 2 1986 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
1987
|
1
|
|
|
D 3.1 F7237 1981 :
數學所圖書室, 資訊所圖書室
;
|
1981
|
1
|
|
|
D 3.1 F771 1986 : Workshop on Foundations of Logic and Functional Programming; 資訊所圖書室;
|
c1988
|
1
|
|
|
D 3.1 G6287 1984 : Golson, William Guyre; 資訊所圖書室;
|
c1984
|
1
|
|
|
D 3.1 G664 : Gordon, Michael J. C.,;
數學所圖書室, 資訊所圖書室
;
|
c1979
|
1
|
|
|
D 3.1 G848
|
|
2
|
|
|
D 3.1 H236 :
資訊所圖書室, 歐美所圖書館, 人文社會聯圖
;
|
1997
|
1
|
|
|
D 3.1 H679 : Hoare, C. A. R.;
數學所圖書室, 資訊所圖書室
;
|
1986
|
1
|
|
|
D 3.1 J12 : Jackendoff, Ray S.;
人文社會聯圖, 資訊所圖書室, 歐美所圖書館
;
|
1972
|
1
|
|
|
D 3.1 J78 : Jones, Neil D;
數學所圖書室, 資訊所圖書室
;
|
1978
|
1
|
|
|
D 3.1 L752 : Lindsey, C. H; 資訊所圖書室;
|
1977
|
1
|
|
|
D 3.1 M2673 : Manes, Ernest G.,;
數學所圖書室, 資訊所圖書室
;
|
c1986
|
1
|
|
|
D 3.1 M281 : Manna, Zohar;
資訊所圖書室, 數學所圖書室
;
|
c1990
|
1
|
|
|
D 3.1 M426 1986
|
|
2
|
|
|
D 3.1 M426 1987 :
經濟所圖書館, 資訊所圖書室, 數學所圖書室
;
|
c1988
|
1
|
|
|
D 3.1 M426 1989 :
數學所圖書室, 資訊所圖書室
;
|
c1990
|
1
|
|
|
D 3.1 M426 1991 :
資訊所圖書室, 數學所圖書室
;
|
c1992
|
1
|
|
|
D 3.1 M426 1993 : International Conference on the Mathematical Foundations of Programming Semantics;
數學所圖書室, 資訊所圖書室
;
|
c1994
|
1
|
|
|
D 3.1 M659
|
|
2
|
|
|
D 3.1 M9115 1988 : Moshier, Michael Andrew; 資訊所圖書室;
|
1988
|
1
|
|
|
D 3.1 M9612 1986 : Mulmuley, Ketan; 資訊所圖書室;
|
c1987
|
1
|
|
|
D 3.1 N218 1982 : Narayana, K. T; 資訊所圖書室;
|
1982
|
1
|
|
|
D 3.1 N669 : Nielson, Hanne Riis; 資訊所圖書室;
|
c1992
|
1
|
|
|
D 3.1 N832 : Nordström, Bengt;
數學所圖書室, 資訊所圖書室
;
|
1990
|
1
|
|
|
D 3.1 O26 : O'Donnell, Michael J.,; 資訊所圖書室;
|
c1985
|
1
|
|
|
D 3.1 O45 1982 : Oles, Frank Joseph; 資訊所圖書室;
|
c1982
|
1
|
|
|
D 3.1 O51 : Ollongren, Alexander;
數學所圖書室, 資訊所圖書室
;
|
1974
|
1
|
|
|
D 3.1 P128 : Pagan, Frank G; 資訊所圖書室;
|
c1981
|
1
|
|
|
D 3.1 P499 : Pettersson, Mikael; 資訊所圖書室;
|
c1999
|
1
|
|
|
D 3.1 P9645 : Bekic, H.;
數學所圖書室, 資訊所圖書室
;
|
1984
|
1
|
|
|
D 3.1 P9645 1981 : 資訊所圖書室;
|
1982
|
1
|
|
|
D 3.1 P9645 1985 : 資訊所圖書室;
|
c1986
|
1
|
|
|
D 3.1 P9645 1988 : International Workshop on Programming Languages Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1989
|
1
|
|
|
D 3.1 P9645 1990 : International Workshop on Programming Language Implementation and Logic Programming;
數學所圖書室, 資訊所圖書室
;
|
c1990
|
1
|
|
|
D 3.1 P9645 1991 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1991
|
1
|
|
|
D 3.1 P9645 1992 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1992
|
1
|
|
|
D 3.1 P9645 1993 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1993
|
1
|
|
|
D 3.1 P9645 1994 : PLILP '94;
數學所圖書室, 資訊所圖書室
;
|
c1994
|
1
|
|
|
D 3.1 P9645 1995 : International Symposium on Programming Languages : Implementations, Logics and Programs; 資訊所圖書室;
|
c1995
|
1
|
|
|
D 3.1 P9645 1996 : International Symposium on Programming Languages, Implementations, Logics, and Programs; 資訊所圖書室;
|
c1996
|
1
|
|
|
