| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / |
|
|
ISBN/ISSN:
|
3540330569 (pbk.) |
|
ISBN/ISSN:
|
9783540330561 |
|
中图分类法
:
|
TP311.1-532 |
|
题名:
|
Tools and algorithms for the construction and analysis of systems [12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings ] |
|
其它题名:
|
TACAS 2006 |
|
其它题名:
|
ETAPS 2006 |
|
其它题名:
|
Joint European Conferences on Theory and Practice of Software |
|
其它题名:
|
European Joint Conferences on Theory and Practice of Software. |
|
出版发行:
|
Berlin ; : Springer, c2006. |
|
载体形态:
|
xvi, 506 p. : ill. ; 24 cm. |
|
丛编:
|
Lecture notes in computer science, |
|
主题词:
|
System design |
|
主题词:
|
Computer software Development |
|
主要责任者:
|
Hermanns, Holger, 1967- |
|
主要责任者:
|
Palsberg, Jens. |
|
主要团体责任者:
|
ETAPS 2006 |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01807cam 2200409 a 4500 001| |022006002061 003| |CAL 005| |20061008091244.0 007| |cr mnu－－－－－－－－ 008| |060324s2006 gw a b 101 0 eng d 010| |▼a 2006922189 020| |▼a3540330569 (pbk.) 020| |▼a9783540330561 040| |▼aOHX▼cOHX▼dCUS▼dC$Q▼dBAKER▼dCIN 072| 7|▼aQ▼2lcco 093| |▼aTP311.1-532▼24 099| |▼aCAL 022006093273 111|2 |▼aTACAS 2006▼d(2006 :▼cVienna, Austria) 245|10|▼aTools and algorithms for the- | | construction and analysis of - | |systems :▼b12th international - | |conference, TACAS 2006, held a- | |s part of the Joint European C- | |onferences on Theory and Pract- | |ice of Software, ETAPS 2006, V- | |ienna, Austria, March 25 - Apr- | |il 2, 2006 : proceedings /▼cHo- | |lger Hermanns, Jens Palsberg (eds.) 246|38|▼aTACAS 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| |▼axvi, 506 p. :▼bill. ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience,▼x0302-9743 ;▼v3920. 504| |▼aIncludes bibliographical ref- | |erences and index. 530| |▼aAlso issued online. 650| 0|▼aSystem design▼vCongresses. 650| 0|▼aComputer software▼xDevelopme- | |nt▼vCongresses. 700|1 |▼aHermanns, Holger,▼d1967- 700|1 |▼aPalsberg, Jens. 711|2 |▼aETAPS 2006▼d(2006 :▼cVienna, Austria) 856|41|▼uhttp://springerlink.metapres- | |s.com/openurl.asp?genre=issue&- | |issn=0302-9743&volume=3920▼zCo- | |nnect to resource online 950| |▼aWHUTL▼fTP311.1-532/T115:12/2006 998| |▼aXJT 999| |▼tC▼Abmwaw▼a20061008 09:04:28▼- | |Ibmwaw▼i20061008 09:12:44▼Gbmw- | |aw▼g20061023 14:42:36
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。