| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / |
|
|
ISBN/ISSN:
|
3540330453 (pbk.) |
|
ISBN/ISSN:
|
9783540330455 |
|
中图分类法
:
|
TP311.5-532 |
|
中图分类法
:
|
TP31-532 |
|
题名:
|
Foundations of software science and computation structures [9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings ] |
|
其它题名:
|
FOSSACS 2006. |
|
其它题名:
|
ETAPS 2006. |
|
其它题名:
|
Joint European Conferences on Theory and Practice of Software. |
|
其它题名:
|
European Joint Conferences on Theory and Practice of Software. |
|
出版发行:
|
Berlin ; : Springer, c2006. |
|
载体形态:
|
xv, 445 p. : ill. ; 24 cm. |
|
丛编:
|
Lecture notes in computer science, |
|
主题词:
|
Computer software |
|
主题词:
|
System analysis |
|
主要责任者:
|
Aceto, Luca. |
|
主要责任者:
|
Anna Ingolfsdottir. |
|
主要团体责任者:
|
ETAPS 2006 |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01944cam 2200469 a 4500 001| |022006002157 003| |CAL 005| |20061010090905.0 007| |cr mnu－－－－－－－－ 008| |060324s2006 gw a b 101 0 eng d 020| |▼a3540330453 (pbk.) 020| |▼a9783540330455 040| |▼aOHX▼cOHX▼dCUS▼dC$Q▼dBAKER▼dUKM▼dCIN 050| 4|▼aQA76.751▼b.F67 2006 072| 7|▼aQA▼2lcco 082|04|▼a005▼222 093| |▼aTP311.5-532▼24 093| |▼aTP31-532▼24 099| |▼aCAL 022006092987 111|2 |▼aFOSSACS 2006▼d(2006 :▼cVienn- | |a, Austria) 245|10|▼aFoundations of software scie- | |nce and computation structures- | | :▼b9th international conferen- | |ce, FOSSACS 2006, held as part- | | of the Joint European Confere- | |nces on Theory and Practice of- | | Software, ETAPS 2006, Vienna,- | | Austria, March 25-31, 2006 : - | |proceedings /▼cLuca Aceto, Ann- | |a Ingolfsdottir (eds.) 246|38|▼aFOSSACS 2006. 246|30|▼aETAPS 2006. 246|30|▼aJoint European Conferences o- | |n Theory and Practice of Software. 246|1 |▼iAdded title on cover:▼aEurop- | |ean Joint Conferences on Theor- | |y and Practice of Software. 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er,▼cc2006. 300| |▼axv, 445 p. :▼bill. ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience,▼x0302-9743 ;▼v3921. 504| |▼aIncludes bibliographical ref- | |erences and index. 530| |▼aAlso available online. 650| 0|▼aComputer software▼vCongresses. 650| 0|▼aSystem analysis▼vCongresses. 653|1 |▼aFOSSACS. 653|1 |▼aSoftware science. 653|1 |▼aComputation structures. 700|1 |▼aAceto, Luca. 700|0 |▼aAnna Ingolfsdottir. 711|2 |▼aETAPS 2006▼d(2006 :▼cVienna, Austria) 856|41|▼uhttp://springerlink.metapres- | |s.com/openurl.asp?genre=issue&- | |issn=0302-9743&volume=3921▼zCo- | |nnect to resource online 950| |▼aWHUTL▼fTP31-532/F751:9/2006 998| |▼aXJT 999| |▼tC▼Abmwaw▼a20061010 09:06:36▼- | |Ibmwaw▼i20061010 09:09:05▼Gbmw- | |aw▼g20061023 14:44:24
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。