儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
主題 (1-49 之 49)
Electronic digital computers -- Evaluation -- Congresses
1
book jacket

Comptuer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
International Workshop on Computer-Aided Verification (4th : 1992 : Montreal, Canada)
Berlin ; New York : Springer-Verlag, c1993
 
c1993
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1992  LNCS 663    館內使用    30330000091061
 數學所圖書室  QA75.5 .L42  v.663    在架上    30340200301459
2
book jacket

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
International Workshop on Computer Aided Verification (3rd : 1991 : Aalborg, Denmark)
Berlin ; New York : Springer-Verlag, 1992
 
1992
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1991  LNCS 575    館內使用    30330000084413
 數學所圖書室  QA75.5 .L42  v.575    在架上    30340200299463
3
book jacket

Computer aided verification 3rd International workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
CAV (Conference) (3rd : 1991 : Alborg, Denmark)
Berlin : Springer-Verlag, 1992
1992
電腦檔

館藏地: 資訊所圖書室
4
book jacket

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
International Conference on Computer-Aided Verification (5th : 1993 : Elounda, Greece)
Berlin ; New York : Springer-Verlag, c1993
 
c1993
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1993  LNCS 697    館內使用    30330000092283
 數學所圖書室  QA75.5 .L42  v.697    在架上    30340200301749
5
book jacket

Computer aided verification 5th International conference : Papers
CAV (Conference) (5th : 1993 : Elounda, Greece)
Berlin : Springer-Verlag, 1993
1993
電腦檔

館藏地: 資訊所圖書室
6
book jacket

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
International Conference on Computer-Aided Verification (6th : 1994 : Stanford, Calif.)
Berlin ; New York : Springer-Verlag, c1994
 
c1994
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.818    在架上    30340200308355
 資訊所圖書室叢書區  SerPro G4 C7383 1994  LNCS 818    館內使用    30330000097514
7
book jacket

Computer aided verification 6th International conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
CAV (Conference) (6th : 1994 : Stanford, Calif.)
Berlin : Springer-Verlag, 1994
1994
電腦檔

館藏地: 資訊所圖書室
8
book jacket

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
International Conference on Computer Aided Verification (7th : 1995 : Liège, Belgium)
Berlin ; New York : Springer-Verlag, c1995
 
c1995
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.939    在架上    30340200325995
 資訊所圖書室叢書區  SerPro G4 C7383 1995  LNCS 939    館內使用    30330000105093
9
book jacket

Computer aided verification 7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings
CAV (Conference) (7th : 1995 : Liege, Belgium)
Berlin ; New York : Springer-Verlag, 1995
1995
電腦檔

館藏地: 資訊所圖書室
10
book jacket

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
International Conference on Computer Aided Verification (8th : 1996 : New Brunswick, NJ)
Berlin ; New York : Springer-Verlag, c1996
 
c1996
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1996  LNCS 1102    館內使用    30330000114632
11
book jacket

Computer aided verification 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
CAV (Conference) (8th : 1996 : New Brunswick, N.J.)
Berlin ; New York : Springer-Verlag, 1996
1996
電腦檔

館藏地: 資訊所圖書室
12
book jacket

Computer aided verification 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
CAV (Conference) (9th : 1997 : Haifa, Israel)
Berlin ; New York : Springer, c1997
c1997
電子書

館藏地: 中央研究院
13
book jacket

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June/July 1998 : proceedings
International Conference on Computer-Aided Verification (10th : 1998 : Vancouver, Canada)
Berlin ; New York : Springer-Verlag, c1998
c1998
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1998  LNCS 1427    館內使用    30330000129325
14
book jacket

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 1999 : proceedings
International Conference on Computer-Aided Verification (11th : 1999 : Trento, Italy)
Berlin ; New York : Springer-Verlag, c1999
c1999
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1999  LNCS 1633    館內使用    30330000135231
15
book jacket

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, proceedings
International Conference on Computer-Aided Verification (12th : 2000 : Chicago, IL)
Berlin ; New York : Springer-Verlag, c2000
 
c2000
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2000  LNCS 1855    館內使用    30330000141650
16
book jacket

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, proceedings
International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
Berlin : Springer, 2003
2003
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2003  LNCS 2725    館內使用    30330000160486
17
book jacket

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, proceedings
International Conference on Computer Aided Verification (16th : 2004 : Bostan, MA)
Berlin : Springer, 2004
2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2004  LNCS 3114    館內使用    30330000168463
18
book jacket

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, proceedings
International Conference on Computer Aided Verification (17th : 2005 : Edinburgh, Scotland)
Berlin : Springer, 2005
2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2005  LNCS 3576    館內使用    30330000175641
19
book jacket

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
CAV (Conference) (17th : 2005 : Edinburgh, Scotland)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

館藏地: 中央研究院
20
book jacket

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
International Conference on Computer Aided Verification (18th : 2006 : Seattle, Wash.)
Berlin : Springer, 2006
2006
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2006  LNCS 4144    館內使用    30330000185830
21
book jacket

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
International Conference on Computer Aided Verification (19th : 2007 : Berlin, Germany)
Berlin : Springer, 2007
2007
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2007  LNCS 4590    館內使用    30330000194816
22
book jacket

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
International Conference on Computer Aided Verification (20th : 2008 : Princeton, NJ, USA)
Berlin : Springer, 2008
 
2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2008  LNCS 5123    館內使用    30330000209457
23
book jacket

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
CAV (20th : 2008 : Princeton, NJ, USA)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

館藏地: 中央研究院
24
book jacket

Computer aided verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
CAV 2010 (2010 : Edinburgh, Scotland)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
2010
電子書

館藏地: 中央研究院
25
book jacket

Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
CAV (Conference) (23rd : 2011 : Snowbird, Utah)
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
2011
電子書

館藏地: 中央研究院
26
book jacket

Computer aided verification fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92 (4th : 1992 : Montreal, Quebec)
Berlin : Springer-Verlag, 1993
1993
電腦檔

館藏地: 資訊所圖書室
27
book jacket

Computer performance evaluation and benchmarking Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings
SPEC Benchmark Workshop (2009 : Austin, Tex.)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

館藏地: 中央研究院
28
book jacket

Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings

Berlin ; New York : Springer-Verlag, c1994
 
c1994
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.794    在架上    30340200307092
 資訊所圖書室叢書區  SerPro C4 M6895 1994  LNCS 794    館內使用    30330000097241
29
book jacket

Computer performance evaluation modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings

Berlin ; New York : Springer-Verlag, 1994
1994
電腦檔

館藏地: 資訊所圖書室
30
book jacket

Computer performance evaluation modelling techniques and tools : 9th international conference, St. Malo, France, June 3-6 1997 : proceedings
International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (9th : 1997 : Saint-Malo, France)
Berlin ; New York : Springer, c1997
c1997
電子書

館藏地: 中央研究院
31
book jacket

Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 1997 : proceedings
International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (9th : 1997 : St. Malo, France)
Berlin ; New York : Springer, c1997
c1997
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C4 M6895 1997  LNCS 1245    館內使用    30330000121793
32
book jacket

Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings
International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (10th : 1998 : Palma de Mallorca, Spain)
Berlin ; New York : Springer, c1998
c1998
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C4 M6895 1998  LNCS 1469    館內使用    30330000130273
33
book jacket

Computer performance : proceedings of the International Symposium on Computer Performance Modeling, Measurement, and Evaluation, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, August 16-18, 1977
International Symposium on Computer Performance Modeling, Measurement, and Evaluation (1977 : Yorktown Heights, N.Y.)
Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier/North Holland, 1977
 
1977
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D4.8 C7383 1977    館內使用    30330000005681
34
book jacket

Experimental computer performance evaluation : lecture notes of the Second Summer School on Computer Systems Performance Evaluation, SOGESTA, Urbino, Italy, June 16-27, 1980
Summer School on Computer Systems Performance Evaluation (2nd : 1980 : Urbino)
Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981
 
1981
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D4.8 E963    在架上    30330000006739
35
book jacket

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974.
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen (1974 : Brunswick)
Berlin, New York, Springer, 1974
 
1974
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.8    在架上    30340200100760
 資訊所圖書室叢書區  SerPro C0 F139 1974  LNCS 8    館內使用    30330000010087
36
book jacket

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22, 3, 1974
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen (1974 : Brunswick)
Berlin, New York, Springer, 1974
1974
電腦檔

館藏地: 資訊所圖書室
37
 

International Symposium on Computer Handware Description Languages and their Applications Proceedings
International Symposium on Computer Handware Description Languages and their Applications , 1975
New York : Association for Computing Machinery or IEEE, Inc. , c1975
 
c1975
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76 In85    在架上    30340200133688
38
 

International Symposium on Computer Performance Modeling, Measurement, and Evaluation, March 29, 30, & 31st, 1976, Cambridge, Massachusetts : [proceedings]
International Symposium on Computer Performance Modeling, Measurement, and Evaluation, Harvard University, 1976
New York : Association for Computing Machinery, c1976
 
c1976
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76 In87    在架上    30340200133696
39
book jacket

Measuring computer performance : a practitioner's guide
Lilja, David J., author
Cambridge : Cambridge University Press, 2000
2000
電子書

館藏地: 中央研究院
40
book jacket

Measuring Computer Performance : A Practitioner's Guide
Lilja, David J
Cambridge : Cambridge University Press, 2000
2000
電腦檔

館藏地: 資訊服務處
41
book jacket

Measuring, modelling and evaluating computer systems : proceedings of the Third International Symposium sponsored by IRIA-LABORIA, IFIP Working Group 7.3, the Commission of the European Communities, Joint Research Centre, ISPRA Establishment and organised by Gesellschaft für Mathematik und Datenverarbeitung, Bonn-Bad Godesberg, Western Germany, October 3-5, 1977

Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1977
 
1977
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D4.8 M6895:2 1977    館內使用    30330000011895
42
book jacket

Modelling and performance evaluation of computer systems : proceedings of the international workshop

Amsterdam ; New York : North-Holland Pub. Co. ; New York ; sole distributors for the U.S.A. and Canada, Elsevier/North Holland, 1977
 
1977
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D4.8 M6895:2 1976    館內使用    30330000017876
43
book jacket

Modelling techniques and tools for performance analysis : proceedings of the International Conference on Modelling Techniques and Tools for Performance Analysis, Paris, France, 16-18 May, 1984
International Conference on Modelling Techniques and Tools for Performance Analysis (1984 : Paris, France)
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
 
1985
紙本資料

館藏地: 統計所圖書館, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 統計所圖書館  QA76.9.C65 I55 1984    在架上    30570000036265
 資訊所圖書室會議論文區  Proc C4 M6895 1984    館內使用    30330000042908
44
book jacket

Performance '81 : proceedings of the 8th International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Amsterdam, 4-6 November 1981
International Symposium on Computer Performance Modelling, Measurement and Evaluation (8th : 1981 : Amsterdam, Netherlands)
Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, c1981
 
c1981
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D4.8 C7383 1981    館內使用    30330000016894
45
book jacket

Performance '83 : proceedings of the 9th International Symposium on Computer Performance Modelling, Measurement, and Evaluation, College Park, Maryland, U.S.A., May 25-27, 1983
International Symposium on Computer Performance Modelling, Measurement, and Evaluation (9th : 1983 : College Park, Md.)
Amsterdam ; New York : North Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983
 
1983
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D4.8 C7383 1983    館內使用    30330000041215
46
book jacket

Performance evaluation of computer and communication systems joint tutorial papers of Performance '93 and Sigmetrics '93

Berlin ; New York : Springer-Verlag, 1993
1993
電腦檔

館藏地: 資訊所圖書室
47
 

Proceedings of the sixth International Symposium on Multiple-Valued Logic, May 25-28, 1976
The International Symposium on Multiple-Valued Logic , 1976
New York : Association for Computing Machinery, c1976
 
c1976
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76 In88    在架上    30340200133704
48
book jacket

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings
International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (8th : 1995 : Heidelberg, Germany)
Berlin ; New York : Springer, c1995
 
c1995
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C4 M6895 1995  LNCS 977    館內使用    30330000109012
49
book jacket

Quantitative evaluation of computing and communication systems 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings
International Conference on Modelling Techniques and Toolsfor Computer Performance and Evaluation (8th : 1995 : Heidelberg, Germany)
Berlin ; New York : Springer, 1995
1995
電腦檔

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄