• 首頁
  • 圖書館資源
  • 資源查詢及瀏覽
  • 館藏資源查詢

館藏資源查詢

重新查詢 回瀏覽畫面顯示MARC標記書目

檢索點： 關鍵字： 限制可取得館藏

排序選項： 
作者Workshop on Coalgebraic Methods in Computer Science (11th : 2012 : Tallinn, Estonia)
作者SpringerLink (Online service)
書名Coalgebraic methods in computer science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / edited by Dirk Pattinson, Lutz Schroder
出版項Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
其他作者Pattinson, Dirk
Schroder, Lutz
說明258 p. : ill., digital ; 23 cm
系列Lecture notes in computer science, 0302-9743 ; 7399
Lecture notes in computer science ; 7399
主題Computer science -- Mathematics -- Congresses
Computer software -- Mathematics -- Congresses
Computer Science
Mathematical Logic and Formal Languages
Computation by Abstract Devices
Logics and Meanings of Programs
Probability and Statistics in Computer Science
其他題名CMSC 2012
ETAPS 2012
ISBN/ISSN9783642327841 (electronic bk.)
9783642327834 (paper)
 QRCode
相關連結： 連線到 https://dx.doi.org/10.1007/978-3-642-32784-1 （網址狀態查詢中....）
加入個人書庫 回報書目問題 轉入EndNote
館藏地 索書號 條碼 處理狀態  

Go to Top