Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Programming languages and systems = ...
~
Barthe, Gilles.
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Programming languages and systems/ edited by Gilles Barthe.
Reminder of title:
20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
remainder title:
ESOP 2011
other author:
Barthe, Gilles.
corporate name:
Congress on Progress and Controversies in Oncological Urology
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg, : 2011.,
Description:
xiv, 500 p. :ill., digital ; : 24 cm.;
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer programming - Congresses. -
Online resource:
http://dx.doi.org/10.1007/978-3-642-19718-5
ISBN:
9783642197185 (electronic bk.)
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
Programming languages and systems
20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /[electronic resource] :ESOP 2011edited by Gilles Barthe. - Berlin, Heidelberg :Springer Berlin Heidelberg,2011. - xiv, 500 p. :ill., digital ;24 cm. - Lecture notes in computer science,66020302-9743 ;.
ISBN: 9783642197185 (electronic bk.)Subjects--Topical Terms:
124428
Computer programming
--Congresses.
LC Class. No.: QA76.6 / .E97 2011
Dewey Class. No.: 005.1
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
LDR
:01044nmm 2200253 a 4500
001
163403
003
Springer
005
20110720192502.0
006
m d
007
cr nn 008maaau
008
160223s2011 gw s j eng d
020
$a
9783642197185 (electronic bk.)
020
$a
9783642197178 (paper)
035
$a
978-3-642-19717-8
050
0 4
$a
QA76.6
$b
.E97 2011
082
0 4
$a
005.1
$2
22
090
$a
QA76.6
$b
.E89 2011
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
Programming languages and systems
$h
[electronic resource] :
$b
20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
$c
edited by Gilles Barthe.
246
3 0
$a
ESOP 2011
260
$a
Berlin, Heidelberg :
$c
2011.
$b
Springer Berlin Heidelberg,
300
$a
xiv, 500 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6602
650
0
$a
Computer programming
$v
Congresses.
$3
124428
$3
176338
650
0
$a
Programming languages (Electronic computers)
$3
87542
650
0
$a
Software engineering
$v
Congresses.
$3
124433
$3
176339
650
1 4
$a
Computer Science.
$3
120417
650
2 4
$a
Software Engineering.
$3
121004
650
2 4
$a
Computer Communication Networks.
$3
81545
650
2 4
$a
Logics and Meanings of Programs.
$3
122248
650
2 4
$a
Programming Techniques.
$3
120880
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
120879
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
120419
700
1
$a
Barthe, Gilles.
$3
125146
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-19718-5
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login