|
|
|
|
G 3 V561 : Vershynin, Roman,;
資訊所圖書室, 統計所圖書館
; 
|
2018
|
1
|
|
|
G 3 W322 : Wasserman, Larry;
統計所圖書館, 人文社會聯圖, 資訊所圖書室
;
|
c2004
|
1
|
|
|
G 3 W627 1992 : Whittle, Peter;
經濟所圖書館, 統計所圖書館, 資訊所圖書室
;
|
c1992
|
1
|
|
|
G 3 Y225 : Yang, Mark C. K.;
資訊所圖書室, 資訊服務處圖書館
;
|
c1986
|
1
|
|
|
G 3 Z12 : Zabell, S. L.,; 資訊所圖書室;
|
2005
|
1
|
|
|
G 3 Z387 : Zarzycki, J.;
數學所圖書室, 資訊所圖書室
;
|
c1985
|
1
|
|
|
G 3.0 L929 : Luby, Michael George; 資訊所圖書室;
|
c1996
|
1
|
|
|
G 3.0 P485 : Peterson, Ivars;
地球所圖書館, 資訊所圖書室
;
|
1997
|
1
|
|
|
G 4 B445 : Bellman, Richard Ernest,;
數學所圖書室, 資訊所圖書室
;
|
1982
|
1
|
|
|
G 4 B617 : Biran, Adrian; 資訊所圖書室;
|
c1995
|
1
|
|
|
G 4 B6615 1981 :
資訊所圖書室, 經濟所圖書館
;
|
1981
|
1
|
|
|
G 4 B6615 1983 :
統計所圖書館, 資訊所圖書室
;
|
1985
|
1
|
|
|
G 4 C433 : Chaghaghi, Francois S; 資訊所圖書室;
|
c1985
|
1
|
|
|
G 4 C518 : Chen, Ke,;
資訊所圖書室, 數學所圖書室
;
|
1999
|
1
|
|
|
G 4 C7383 1982 : Conference on Computer Algorithms; 資訊所圖書室;
|
1982
|
1
|
|
|
G 4 C7383 1990 : International Conference on Computer-Aided Verification;
資訊所圖書室, 數學所圖書室
;
|
c1991
|
1
|
|
|
G 4 C7383 1991 : International Workshop on Computer Aided Verification;
資訊所圖書室, 數學所圖書室
;
|
1992
|
1
|
|
|
G 4 C7383 1992 : International Workshop on Computer-Aided Verification;
資訊所圖書室, 數學所圖書室
;
|
c1993
|
1
|
|
|
G 4 C7383 1993 : International Conference on Computer-Aided Verification;
資訊所圖書室, 數學所圖書室
;
|
c1993
|
1
|
|
|
G 4 C7383 1994 : International Conference on Computer-Aided Verification;
數學所圖書室, 資訊所圖書室
;
|
c1994
|
1
|
|
|
G 4 C7383 1995 : International Conference on Computer Aided Verification;
數學所圖書室, 資訊所圖書室
;
|
c1995
|
1
|
|
|
G 4 C7383 1996 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
c1996
|
1
|
|
|
G 4 C7383 1997 : International Conference on Computer-Aided Verification; 資訊所圖書室;
|
1997
|
1
|
|
|
G 4 C7383 1998 : International Conference on Computer-Aided Verification; 資訊所圖書室;
|
c1998
|
1
|
|
|
G 4 C7383 1999 : International Conference on Computer-Aided Verification; 資訊所圖書室;
|
c1999
|
1
|
|
|
G 4 C7383 2000 : International Conference on Computer-Aided Verification; 資訊所圖書室;
|
c2000
|
1
|
|
|
G 4 C7383 2001 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2001
|
1
|
|
|
G 4 C7383 2002 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2002
|
1
|
|
|
G 4 C7383 2003 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2003
|
1
|
|
|
G 4 C7383 2004 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2004
|
1
|
|
|
G 4 C7383 2005 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2005
|
1
|
|
|
G 4 C7383 2006 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2006
|
1
|
|
|
G 4 C7383 2007 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2007
|
1
|
|
|
G 4 C7383 2008 : International Conference on Computer Aided Verification; 資訊所圖書室;
|
2008
|
1
|
|
|
G 4 D367 : Devlin, Keith J.,; 資訊所圖書室;
|
1984
|
1
|
|
|
G 4 F182 : Falconer, K. J.,;
物理所圖書室, 數學所圖書室, 資訊所圖書室
;
|
c1990
|
1
|
|
|
G 4 G216 : Garcia, Stephan Ramon,;
數學所圖書室, 資訊所圖書室
;
|
2016
|
1
|
|
|
G 4 H148 : Hahn, Brian D; 資訊所圖書室;
|
2002
|
1
|
|
|
G 4 H558 : Herniter, Marc E; 資訊所圖書室;
|
2001
|
1
|
|
|
G 4 K195 : Kattan, Peter Issa,;
數學所圖書室, 應用科學研究中心圖書室, 資訊所圖書室
;
|
2003
|
1
|
|
|
G 4 K23 : Kaye, Brian H.; 資訊所圖書室;
|
1989
|
1
|
|
|
G 4 K32 : Kemp, Rainer; 資訊所圖書室;
|
c1984
|
1
|
|
|
G 4 K93 1987 : Kronsjo, Lydia; 資訊所圖書室;
|
c1987
|
1
|
|
|
G 4 L373 : Laufer, Carl; 資訊所圖書室;
|
2015
|
1
|
|
|
G 4 M267 : Manassah, Jamal T; 資訊所圖書室;
|
c2001
|
1
|
|
|
G 4 M282 : Manna, Zohar;
數學所圖書室, 資訊所圖書室
;
|
c1974
|
1
|
|
|
G 4 M315 2002 : Marchand, Patrick; 資訊所圖書室;
|
c2002
|
1
|
|
|
G 4 M385 : Martinez, Wendy L.;
統計所圖書館, 資訊所圖書室
;
|
c2005
|
1
|
|
|
G 4 M6895 : Campbell, Stephen;
數學所圖書室, 資訊所圖書室
;
|
2005
|
1
|
|
|
G 4 O89 : Otten, R. H. J. M;
統計所圖書館, 資訊所圖書室, 數學所圖書室
;
|
c1989
|
1
|
|
|
