D 2.0 S9953 2007 : SIGDOC 2007; 資訊所圖書室 ;
c2007
1
D 2.0 S9953 2008 : SIGDOC 2008; 資訊所圖書室 ;
c2008
1
D 2.0 T146 :
數學所圖書室, 資訊所圖書室
;
c1994
1
D 2.0 T228 : Tausworthe, Robert C; 資訊所圖書室 ;
1977
1
D 2.0 T372 資訊所圖書室 ;
c1990
1
D 2.0 T665 : Tonge, Fred M; 資訊所圖書室 ;
1975
1
D 2.0 T772 1987 : 資訊所圖書室 ;
1988
1
D 2.0 V573 1982 : VLSI and Software Engineering Workshop; 資訊所圖書室 ;
c1983
1
D 2.0 W182
2
D 2.0 W527 : Westfechtel, Bernhard; 資訊所圖書室 ;
1999
1
D 2.0 W848 : Wolberg, John R; 資訊所圖書室 ;
c1983
1
D 2.0 W961 : 資訊所圖書室 ;
c1981
1
D 2.0 Y817 : Yourdon, Edward;
資訊服務處圖書館, 資訊所圖書室
;
c1992
1
D 2.0 Z49
2
D 2.1 A1645 2008 : International Conference on Abstract State Machines, B and Z; 資訊所圖書室 ;
2008
1
D 2.1 A442
2
D 2.1 B498 1981 : 資訊所圖書室 ;
c1981
1
D 2.1 B582 : Bidoit, M.; 資訊所圖書室 ;
2004
1
D 2.1 B626 : Bjørner, D.; 資訊所圖書室 ;
c1982
1
D 2.1 B671 :
資訊服務處圖書館, 資訊所圖書室
;
c1989
1
D 2.1 B724 : Booch, Grady; 資訊所圖書室 ;
c1999
1
D 2.1 B889 : Bruegge, Bernd; 資訊所圖書室 ;
c2000
1
D 2.1 C252 : Capretz, Luiz Fernando,; 資訊所圖書室 ;
1996
1
D 2.1 C339 : 資訊所圖書室 ;
c2004
1
D 2.1 F523 : Firesmith, Donald G.,; 資訊所圖書室 ;
c1993
1
D 2.1 F7235 : 資訊所圖書室 ;
2001
1
D 2.1 F7235 1993 : International Conference on Formal Methods in Programming and Their Applications;
資訊所圖書室, 數學所圖書室
;
c1993
1
D 2.1 F7235 1998 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification; 資訊所圖書室 ;
c1998
1
D 2.1 F787 1999 : Fowler, Martin,; 資訊所圖書室 ;
1999
1
D 2.1 F787 2004 : Fowler, Martin,; 資訊所圖書室 ;
2004
1
D 2.1 F855 1980 : 資訊所圖書室 ;
c1980
1
D 2.1 F855 1983 : 資訊所圖書室 ;
1983
1
D 2.1 H699 :
資訊所圖書室, 數學所圖書室
;
c1993
1
D 2.1 I615 : 資訊所圖書室 ;
c1992
1
D 2.1 L293 : Lano, R. J; 資訊所圖書室 ;
1979
1
D 2.1 L493 : Leffingwell, Dean; 資訊所圖書室 ;
c2000
1
D 2.1 L7697 : Liskov, Barbara; 資訊所圖書室 ;
c1986
1
D 2.1 L816 : Lockhart, Harold W; 資訊所圖書室 ;
1994
1
D 2.1 M224 : Main, M.; 資訊所圖書室 ;
c1999
1
D 2.1 M379 : Martin, Charles Fontaine,; 資訊所圖書室 ;
c1988
1
D 2.1 M426 1985 :
數學所圖書室, 資訊所圖書室
;
c1986
1
D 2.1 N532 1986 :
數學所圖書室, 資訊所圖書室
;
c1987
1
D 2.1 O126 : 資訊所圖書室 ;
c2002
1
D 2.1 O58 : 資訊所圖書室 ;
c1992
1
D 2.1 O61 1982 : Conference on Operating Systems;
資訊服務處圖書館, 資訊所圖書室, 數學所圖書室
;
1983
1
D 2.1 P2753 : Partsch, Helmut A.,; 資訊所圖書室 ;
1990
1
D 2.1 P9645 : 資訊所圖書室 ;
c1983
1
D 2.1 P9645 1992 : 資訊所圖書室 ;
c1993
1
D 2.1 P9645 2 1986 : 資訊所圖書室 ;
c1987
1
D 2.1 P9654 : 資訊所圖書室 ;
c1994
1
