Program analysis and compilation, theory and practice
: essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday / Thomas Reps ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4444)
ISBN 978-3-540-71322-7
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)
ISBN 978-3-540-71316-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)
ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4960)
ISBN 978-3-540-78739-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - XIII, 397 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4960)
ISBN 978-3-540-78738-9 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Static analysis
: second international symposium ; proceedings / SAS '95, Glasgow, UK, September 25 - 27, 1995 / Alan Mycroft (ed.). - Berlin : Springer, 1995. - VIII, 421 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 983)
ISBN 978-3-540-60360-3 / 3-540-60360-3 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Static analysis
: 9th international symposium ; proceedings / SAS 2002, Madrid, Spain, September 17 - 20, 2002. M. V. Hermenegildo ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2477)
ISBN 978-3-540-45789-3
Lizenzpflichtig
Quelle: DNB
Static analysis
: 5th international symposium ; proceedings / SAS '98, Pisa, Italy, September 1998. Giorgio Levi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1503)
ISBN 978-3-540-49727-1
Lizenzpflichtig
Quelle: DNB
Static analysis
: 8th international symposium ; proceedings / SAS 2001, Paris, France, July 16 - 18, 2001. P. Cousot (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2126)
ISBN 978-3-540-47764-8
Lizenzpflichtig
Quelle: DNB
Static analysis
: 6th international symposium ; proceedings / SAS '99, Venice, Italy, September 1999. A. Cortesi ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1694)
ISBN 978-3-540-48294-9
Lizenzpflichtig
Quelle: DNB
