主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
書名 TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.]
出版項 Berlin ; New York : Springer-Verlag, c1987
國際標準書號 0387176608 (U.S. : v. 1)
038717611X (U.S. : v. 2)
 book jacket
館藏地 索書號 處理狀態 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
說明 2 v. : ill. ; 25 cm
系列 Lecture notes in computer science ; 249-250
Lecture notes in computer science ; 249
Lecture notes in computer science ; 250
附註 CONTENTS: v. 1. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) -- v. 2. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functions (CFLP)
主題 Computer software -- Development -- Congresses
Software iis
Theory of computation iis
Alt Author Ehrig, Hartmut
Advanced Seminar on Foundations of Innovative Software Development (1987 : Pisa, Italy)
Coloquium on Trees in Algebra and Programming (12th : 1987 : Pisa, Italy)
Colloquium on Functional and Logic Programming and Specifications (1987 : Pisa, Italy)
Alt Title CAAP '87
CFLP
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode