語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Tools and algorithms for the constru...
~
SpringerLink (Online service)
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Tools and algorithms for the construction and analysis of systems/ edited by Stefan Kowalewski, Anna Philippou.
其他題名:
15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
其他作者:
Philippou, Anna.
團體作者:
Congress on Progress and Controversies in Oncological Urology
出版者:
Berlin, Heidelberg :Springer Berlin Heidelberg, : 2009.,
面頁冊數:
xvi, 456 p. :ill., digital ; : 24 cm.;
叢書名:
Lecture notes in computer science,
Contained By:
Springer eBooks
標題:
Software Engineering. -
電子資源:
http://dx.doi.org/10.1007/978-3-642-00768-2
ISBN:
9783642007682 (electronic bk.)
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
Tools and algorithms for the construction and analysis of systems
15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /[electronic resource] :edited by Stefan Kowalewski, Anna Philippou. - Berlin, Heidelberg :Springer Berlin Heidelberg,2009. - xvi, 456 p. :ill., digital ;24 cm. - Lecture notes in computer science,55050302-9743 ;.
ISBN: 9783642007682 (electronic bk.)Subjects--Topical Terms:
121004
Software Engineering.
LC Class. No.: QA76.9.S88 / T66 2009
Dewey Class. No.: 005.1
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
LDR
:01054nmm 2200241 a 4500
001
193120
003
Springer
005
20090709095228.0
006
m d
007
cr nn 008maaau
008
170623s2009 gw j eng d
020
$a
9783642007682 (electronic bk.)
020
$a
9783642007675 (paper)
035
$a
978-3-642-00767-5
050
1 4
$a
QA76.9.S88
$b
T66 2009
082
0 4
$a
005.1
$2
22
090
$a
QA76.9.S88
$b
T671 2009
111
2
$a
Congress on Progress and Controversies in Oncological Urology
$n
(6th :
$d
2000:
$c
Rotterdam, Netherlands)
$3
71642
$3
171735
245
1 0
$a
Tools and algorithms for the construction and analysis of systems
$h
[electronic resource] :
$b
15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
$c
edited by Stefan Kowalewski, Anna Philippou.
260
$a
Berlin, Heidelberg :
$c
2009.
$b
Springer Berlin Heidelberg,
300
$a
xvi, 456 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
5505
650
2 4
$a
Software Engineering.
$3
121004
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
120418
650
2 4
$a
Logics and Meanings of Programs.
$3
122248
650
2 4
$a
Programming Techniques.
$3
120880
650
1 4
$a
Computer Science.
$3
120417
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
120941
650
0
$a
System analysis
$v
Congresses.
$3
124317
$3
176335
650
0
$a
System design
$v
Congresses.
$3
124447
$3
176343
700
1
$a
Philippou, Anna.
$3
372685
700
1
$a
Kowalewski, S.
$3
372684
710
2
$a
SpringerLink (Online service)
$3
120363
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-00768-2
950
$a
Computer Science (Springer-11645)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入