書名/作者 | Theoretical computer science/8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings //edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi. |
---|---|
出版地/出版者/出版年 | Berlin, Heidelberg :/Springer Berlin Heidelberg :/2014./Imprint: Springer, |
稽核項 | xvi, 355 p. :/24 cm. |
叢書名 | Lecture notes in computer science,/8705 |
ISBN/價格 | 9783662446027 (electronic bk.) |
ISBN/價格 | 9783662446010 (paper) |
標題 | Computer science |
標題 | Computer science--Mathematics |
標題 | Computer Science. |
標題 | Computation by Abstract Devices. |
標題 | Mathematical Logic and Formal Languages. |
標題 | Algorithm Analysis and Problem Complexity. |
標題 | Logics and Meanings of Programs. |
標題 | Discrete Mathematics in Computer Science. |
標題 | Numeric Computing. |
會議名稱 | IFIP International Conference on Theoretical Computer Science/(8th :/2014 : |
其他書刊名 | TCS 2014 |
# | 登錄號 Accession No. | 索書號 Call No. | 特藏類型 Type | 特定用途 Purpose | 館藏地/區域 Location | 圖書狀況 Book Status | 借書到期日 Due Date | 預約人數 Reserved Amount | 架位圖 Stock Map |
---|---|---|---|---|---|---|---|---|---|
1 | E0064120 | ES QA75.5 | 線上電子書 | 一般用途 | 慈濟大學/慈大線上閱覽 | 仍在館內 | 0 |