by
European Symposium on Programming (16th : 2007 : Braga, Portugal)
Author
European Symposium on Programming (16th : 2007 : Braga, Portugal), De Nicola, Rocco, SpringerLink (Online service)
Format:
Call Number
EB 000333
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540713166
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
APLAS 2007 (2007 : Singapore)
Author
APLAS 2007 (2007 : Singapore), Shao, Zhong, 1968-, SpringerLink (Online service)
Format:
Call Number
EB 000335
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540766377 9783540766360
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
European Symposium on Programming (16th : 2007 : Braga, Portugal)
Author
European Symposium on Programming (16th : 2007 : Braga, Portugal), De Nicola, Rocco, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)
Format:
Call Number
EB 000334
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540713166
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria)
Author
International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria), Arenas, Marcelo, Schwartzbach, Michael I., SpringerLink (Online service)
Format:
Call Number
EB 001174
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540759874 9783540759867
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
Format:
Call Number
T57.7 P76 1981
Publisher
Springer-Verlag,
Publication Date
1981
ISBN
9783540106937
Holds:
Copies:
by
Bjorner, D. (Dines), 1937-
Author
Bjorner, D. (Dines), 1937-
Format:
Call Number
QA76.7 A37 1980
Publisher
Springer-Verleg,
Publication Date
1980
ISBN
9783540100072
Holds:
Copies:
by
Symposium on Language Design and Programming Mrthodology (1979 : Sydney)
Author
Symposium on Language Design and Programming Mrthodology (1979 : Sydney), Tobias, Jeffey M.
Format:
Call Number
QA76.7 S94 1979
Publisher
Springer-Verlag,
Publication Date
1980
ISBN
9783540097457
Holds:
Copies:
by
Symposium on method for the Implemention of Algorithmic Languages, Novosibirsk, (1975 : U.S.S.R.)
Author
Symposium on method for the Implemention of Algorithmic Languages, Novosibirsk, (1975 : U.S.S.R.), Ershov, A., Koster, C. H. A.
Format:
Call Number
QA76.7 S96 1975
Publisher
Springer-Verlag,
Publication Date
1977
ISBN
9783540080657
Holds:
Copies: