儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-17 之 17)
Buchberger, Bruno
1
book jacket

Artificial intelligence and symbolic computation 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
AISC 2004 (2004 : Linz, Austria)
Berlin ; New York : Springer, c2004
c2004
電子書

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

Artificial intelligence and symbolic computation : 7th international conferences, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
AISC 2004: (7th : 2004 : Linz, Austria)
Berlin : Springer, 2004
2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.3 A7913 2004  LNCS 3249    館內使用    30330000169610
3
book jacket

Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers
International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas, Gran Canaria)
Berlin : Springer, c2001
c2001
電子書

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro J6 C7383 2001  LNCS 2178    館內使用    30330000150776
4
book jacket

Computer aided systems theory - EUROCAST 2001 a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria,Spain, February 19-23, 2001 ; revised papers
International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas (Canary Islands)
Berlin : Springer, c2001
c2001
電子書

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

Computer algebra : symbolic and algebraic computation

Wien ; New York : Springer-Verlag, c1982
 
c1982
紙本資料

館藏地: 數學所圖書室, 資訊服務處圖書館, 資訊所圖書室, 歐美所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA155.7.E4 C65 1982    在架上    30340200158701
 資訊所圖書室圖書區  I1.2 C7383    在架上    30330000029962
 資訊所圖書室圖書區  I1.2 C7383 c.2  在架上    30330000034749
此書目還有其他複本 / 卷期, 請點選書名進一步查看
6
book jacket

Correct software in web applications and web services

Cham : Springer International Publishing : Imprint: Springer, 2015
2015
電子書

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

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
European Conference on Computer Algebra (10th : 1985 : Linz, Austria)
Berlin ; New York : Springer-Verlag, c1985
 
c1985
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.203-204. pt.1.    在架上    30340200197634
 數學所圖書室  QA75.5 .L42  v.203-204. pt2.    在架上    30340200197642
 資訊所圖書室叢書區  SerPro I1.0 C7383 1985  V.1 LNCS 203    館內使用    30330000045711
此書目還有其他複本 / 卷期, 請點選書名進一步查看
8
book jacket

EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
European Conference on Computer Algebra (1985 : Linz, Austria)
Berlin ; New York : Springer-Verlag, 1985
1985
電腦檔

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

EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
European Conference on Computer Algebra (1985 : Linz, Austria)
Berlin ; New York : Springer-Verlag, 1985
1985
電腦檔

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

Grobner bases and applications

Cambridge, U.K. ; New York : Cambridge University Press, 1998
 
1998
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA251.3 .G76 1998    在架上    30340200369472
11
book jacket

Grobner bases and applications

Cambridge : Cambridge University Press, 1998
1998
電腦檔

館藏地: 數學所圖書室
12
book jacket

Hagenberg research

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

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

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
International Conference on Mathematical Knowledge Management (2nd : 2003 : Bertinoro, Italy)
Berlin ; New York : Springer, c2003
c2003
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro H3 M426 2003  LNCS 2594    館內使用    30330000158415
14
book jacket

Mathematical knowledge management second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
International Conference on Mathematical Knowledge Management (2nd : 2003 : Bertinoro, Italy)
Berlin ; New York : Springer, c2003
c2003
電子書

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

Multidimensional systems theory and applications

Dordrecht ; Boston : Kluwer Academic Publishers, c2003
 
c2003
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA402 M84 2003    在架上    30340200454126
16
book jacket

Parallel processing CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings
Joint International Conference on Vector and Parallel Processing (1994 : 3rd : Linz, Austria)
Berlin ; New York : Springer-Verlag, 1994
1994
電腦檔

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

Parallel processing : CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 1994 : proceedings
Joint International Conference on Vector and Parallel Processing (3rd : 1994 : Linz, Austria)
Berlin ; New York : Springer-Verlag, 1994
 
1994
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室, 統計所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.854    在架上    30340200313272
 資訊所圖書室叢書區  SerPro C1.2 V413 1994  LNCS 854    館內使用    30330000098819
 統計所圖書館  QA76.58 J65 1994    在架上    30570000081576
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄