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

Categorical methods in computer science : with aspects from topology

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

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.393    在架上    30340200257081
 資訊所圖書室叢書區  Ser G0 C357  LNCS 393    在架上    30330000069851
2
book jacket

Categorical methods in computer science with aspects from topology

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

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

Formal methods and software development
Colloquium on Software Engineering (1985 : Berlin, Germany)
Berlin ; New York : Springer-Verlag, 1985
1985
電腦檔

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

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Berlin ; New York : Springer, c2005
c2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.2 F7235  LNCS 3393    在架上    30330000173414
5
book jacket

Fundamentals of Algebraic Graph Transformation

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
2006
電子書

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

Fundamentals of algebraic specification
Ehrig, Hartmut
Berlin ; New York : Springer-Verlag, c1985-
 
c1990
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F3.2 E33  V.6    在架上    30330000042221
7
book jacket

Graph and model transformation : general framework and applications
Ehrig, Hartmut, author
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
2015
電子書

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

Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982

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

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 G766 1982  LNCS 153    館內使用    30330000034756
9
book jacket

Graph-grammars and their application to computer science 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982

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

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

Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986

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

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 G766 1986  LNCS 291    館內使用    30330000057161
 數學所圖書室  QA75.5 .L42  v.291    在架上    30340200297467
11
book jacket

Graph-grammars and their application to computer science 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings]

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

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

Graph grammars and their application to computer science : 4th International Workshop, Bremen, GErmany, March 5-9, 1990 : proceedings

Berlin ; New York : Sprigner-Verlag, c1991
 
c1991
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 G766 1990  LNCS 532    館內使用    30330000081294
 數學所圖書室  QA75.5 .L42  v.532    在架上    30340200299158
13
book jacket

Graph grammars and their application to computer science 4th international workshop, Bremen, Germany, March 5-9, 1990, proceedings

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

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

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978

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

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 G766 1978  LNCS 73    館內使用    30330000010731
 數學所圖書室  QA75.5 .L42  v.73    在架上    30340200135832
15
book jacket

Graph-grammars and their application to computer science and biology international workshop, Bad Honnef, October30-November 3, 1978

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

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

Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings
ICGT 2008 (4th : 2008 : Leicester, United Kingdom)
Berlin : Springer, c2008
 
c2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro E1 G766 2008  LNCS 5214    館內使用    30330000211248
17
book jacket

Graph transformations 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings
ICGT 2008 (2008 : Leicester, England)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

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

Graph transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings
ICGT 2010 (2010 : Enschede, Netherlands)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
2010
電子書

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

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings
ICGT 2012 (2012 : Bremen, Germany)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
2012
電子書

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

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings

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

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.776    在架上    30340200305716
 資訊所圖書室叢書區  SerPro F4.2 G766 1993  LNCS 776    館內使用    30330000097118
21
book jacket

Graph transformations in computer science International workshop, Dagstuhl Castle, Germany, January 4-8, 1993 :proceedings

Berlin : Springer-Verlag, 1994
1994
電腦檔

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

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
ICGT 2004 (2nd : 2004 : Rome, Italy)
Berlin : Springer, c2004
c2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro E1 G766 2004  LNCS 3256    館內使用    30330000170659
23
book jacket

Graph transformations second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
ICGT 2004 (2004 : Rome, Italy)
Berlin ; New York: Springer, c2004
c2004
電子書

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

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report

Berlin ; New York : Springer, c2004
c2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser D2 I61  LNCS 3147    在架上    30330000170196
25
book jacket

Integration of software specification techniques for applications in engineering Priority Program SoftSpez of the German Research Foundation (DFG) : final report

Berlin : Springer-Verlag Berlin Heidelberg, c2004
c2004
電子書

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

Mathematical foundations of software development
Colloquium on Trees in Algebra and Programming (1985 : Berlin, Germany)
Berlin ; New York : Springer-Verlag, 1985
1985
電腦檔

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

Petri net technology for communication-based systems : advances in Petri nets

Berlin ; New York : Springer, c2003
c2003
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser D1 P495  LNCS 2472    在架上    30330000164470
28
book jacket

Petri net technology for communication-based systems advances in Petri nets

Berlin ; New York : Springer, c2003
c2003
電子書

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

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
International Joint Conference on Theory and Practice of Software Development (1st : 1985 : Berlin, Germany)
Berlin ; New York : Springer-Verlag, 1985
 
1985
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.185-186. pt.1    在架上    30340200193138
 數學所圖書室  QA75.5 .L42  v.185-186. pt.2.    在架上    30340200193146
 資訊所圖書室叢書區  SerPro D2.1 T396 1985  V.1 LNCS 185    館內使用    30330000041389
此書目還有其他複本 / 卷期, 請點選書名進一步查看
30
book jacket

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990
Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Dosse, Germany)
Berlin ; New York: Springer-Verlag, c1990
 
c1990
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.1 S741 1990  LNCS 534    館內使用    30330000081302
 數學所圖書室  QA75.5 .L42  v.534    在架上    30340200299174
31
book jacket

Recent trends in data type specification 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990
Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Dosse, Germany)
Berlin ; New York : Springer-Verlag, 1991
1991
電腦檔

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

Recent trends in data type specification 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)
Berlin ; New York : Springer-Verlag, 1994
1994
電腦檔

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

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 1992 : selected papers
Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)
Berlin ; New York : Springer-Verlag, 1994
 
1994
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.785    在架上    30340200307076
 資訊所圖書室叢書區  SerPro D2.1 S741 1992  LNCS 785    館內使用    30330000097233
34
book jacket

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987
International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
Berlin ; New York : Springer-Verlag, c1987
 
c1987
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.1 T396 1987  V.1 LNCS 249    館內使用    30330000050943
 資訊所圖書室叢書區  SerPro D2.1 T396 1987  V.2 LNCS 250    館內使用    30330000050950
 數學所圖書室  QA75.5 .L42  v.249-250. pt.1    在架上    30340200297152
35
book jacket

TAPSOFT '87 proceedings of the International Joint Conference on Theory and Practice of Software Development,Pisa, Italy, March 23-27, 1987
International Joint Conference on Theory and Practice of Software Development (2d : 1987 : Pisa, Italy)
Berlin ; New York : Springer-Verlag, 1987
1987
電腦檔

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

TAPSOFT '87 proceedings of the International Joint Conference on Theory and Practice of Software Development,Pisa, Italy, March 23-27, 1987
International Joint Conference on Theory and Practice of Software Development (2d : 1987 : Pisa, Italy)
Berlin ; New York : Springer-Verlag, 1987
1987
電腦檔

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

Theory and application of graph tranformations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998: selected papers
International Workshop on Theory and Application of Graph Tranformations (6th : 1998 : Paderborn, Germany)
Berlin ; New York : Springer, c2000
c2000
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 G766 1998  LNCS 1764    館內使用    30330000140082
38
book jacket

Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers

Berlin ; New York : Springer, c2000
c2000
電子書

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

Unifying Petri nets : advances in Petri nets

Berlin : Springer, c2001
c2001
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F1 U58  LNCS 2128    在架上    30330000151212
40
book jacket

Unifying Petri nets advances in Petri nets

Berlin ; London : Springer, c2001
c2001
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄