圖書館藏資料
【1.若特藏類型為「線上電子書」或附註項標明為「慈大VOD」，請點選「資源連結」即可線上直接閱讀或觀看。2.線上電子資源限所在之「館藏地/區域」校區內網域閱覽。3.教職員生若需於校區外閱覽，可透過「慈濟大學校外認證系統」。】| 書名/作者 | Algebraic methodology and software technology/13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers //edited by Michael Johnson, Dusko Pavlovic. |
|---|---|
| 出版地/出版者/出版年 | Berlin, Heidelberg :/Springer Berlin Heidelberg,/2011. |
| 稽核項 | x, 235 p. :/24 cm. |
| 叢書名 | Lecture notes in computer science,/6486 |
| ISBN/價格 | 9783642177965 (electronic bk.) |
| ISBN/價格 | 9783642177958 (paper) |
| 標題 | Software engineering |
| 標題 | Abstract data types (Computer science) |
| 標題 | Computer Science. |
| 標題 | Software Engineering. |
| 標題 | Logics and Meanings of Programs. |
| 標題 | Programming Languages, Compilers, Interpreters. |
| 標題 | Mathematical Logic and Formal Languages. |
| 標題 | Artificial Intelligence (incl. Robotics) |
| 標題 | Programming Techniques. |
| 會議名稱 | International Conference on Algebraic Methodology and Software Technology/(13th :/2010 : |
| 其他書刊名 | AMAST 2010 |
機讀編目(View the MARC)
資源連結加入書櫃
館藏
【1.外借中資料可預約，預約請按登錄號。2.線上代借圖書，請按圖書狀況（目前只提供慈濟大學、慈濟科技大學、花蓮慈院及慈大附中教職員生互借）。3.慈濟大學視聽資料線上調借僅限慈大教職員生於校本部及人社院取件。】
| # | 登錄號 Accession No. | 索書號 Call No. | 特藏類型 Type | 特定用途 Purpose | 館藏地/區域 Location | 圖書狀況 Book Status | 借書到期日 Due Date | 預約人數 Reserved Amount | 架位圖 Stock Map |
|---|---|---|---|---|---|---|---|---|---|
| 1 | E0003417 | ES QA76.758 | 線上電子書 | 一般用途 | 慈濟大學/慈大線上閱覽 | 仍在館內 | 0 | ||
| 2 | NX0003417 | ES QA76.758 | 線上電子書 | 一般用途 | 慈濟科大/lib-電子資源(線上閱覽) | 仍在館內 | 0 |