| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / |
|
|
ISBN/ISSN:
|
9783540253884 |
|
ISBN/ISSN:
|
3540253882 |
|
中图分类法
:
|
TP31-532 |
|
题名:
|
Foundations of software science and computation structures [8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings ] |
|
其它题名:
|
FOSSACS 2005 |
|
其它题名:
|
Joint European Conferences on Theory and Practice of Software |
|
其它题名:
|
ETAPS 2005 |
|
出版发行:
|
Berlin ; : Springer, c2005. |
|
载体形态:
|
xiii, 519 p. : ill ; 24 cm. |
|
丛编:
|
Lecture notes in computer science, |
|
主题词:
|
Computer software |
|
主题词:
|
System analysis |
|
主要责任者:
|
Sassone, Vladimiro. |
|
主要团体责任者:
|
ETAPS 2005 |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01535cam 2200361 a 4500 001| |022005002683 003| |CAL 005| |20051209142104.0 008| |050228s2005 gw a b 101 0 eng d 020| |▼a9783540253884 020| |▼a3540253882 024|3 |▼a9783540253884 040| |▼aYUS▼cYUS▼dCUS▼dCIN 093| |▼aTP31-532▼24 094| |▼a73.96083▼23 099| |▼aCAL 022005073574 111|2 |▼aFOSSACS 2005▼n(8th :▼d2005 :- | |▼cEdinburgh, Scotland) 245|10|▼aFoundations of software scie- | |nce and computation structures- | | :▼b8th international conferen- | |ce, FOSSACS 2005, held as part- | | of the Joint European Confere- | |nces on Theory and Practice of- | | Software, ETAPS 2005, Edinbur- | |gh, UK, April 4-8, 2005 : proc- | |eedings /▼cVladimiro Sassone (ed.). 246|30|▼aFOSSACS 2005 246|30|▼aJoint European Conferences o- | |n Theory and Practice of Software 246|30|▼aETAPS 2005 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er,▼cc2005. 300| |▼axiii, 519 p. :▼bill ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience,▼x0302-9743 ;▼v3441 504| |▼aIncludes bibliographical ref- | |erences and index. 650| 0|▼aComputer software▼vCongresses. 650| 0|▼aSystem analysis▼vCongresses. 700|1 |▼aSassone, Vladimiro. 711|2 |▼aETAPS 2005▼d(2005 :▼cEdinbur- | |gh, Scotland) 856|41|▼uhttp://springerlink.metapres- | |s.com/link.asp?id=jef611dvdja6- | |▼zConnect to resource online 950| |▼aWHUTL▼fTP31-532/F751:8/2005 998| |▼aXJT 999| |▼tC▼Abmwaw▼a20051209 14:19:57▼- | |Ibmwaw▼i20051209 14:21:04▼Gxbl- | |xc▼g20051219 09:48:59
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。