Interactive computation
: the new paradigm / Dina Goldin ... (ed.). - Berlin : Springer, 2006. - XIV, 487 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-34666-1 / 3-540-34666-X Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Object oriented and mixed programming paradigms
: new directions in computer graphics / Peter Wisskirchen (ed.). - Berlin : Springer, 1996. - IX, 196 S. : graph. Darst.; 24 cm - (Focus on computer graphics)
ISBN 978-3-540-60481-5 / 3-540-60481-2 Pp. : DM 88.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)
ISBN 978-3-540-40018-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)
ISBN 978-3-540-36575-4
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 11th European Symposium on Programming, ESOP 2002 ... Grenoble, France, April 8 - 12, 2002. D. Le Métayer (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2305)
ISBN 978-3-540-45927-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 10th European Symposium on Programming, ESOP 2001, ..., Genova, Italy, April 2 - 6, 2001. D. Sands (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2028)
ISBN 978-3-540-45309-3
Lizenzpflichtig
Quelle: DNB
Proof theory in computer science
: international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. R. Kahle ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2183)
ISBN 978-3-540-45504-2
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
Unconventional programming paradigms
: revised selected and invited papers / International Workshop UPP 2004, Le Mont Saint Michel, France, September 15 - 17, 2004. Jean-Pierre Banâtre ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3566)
ISBN 978-3-540-31482-0
Lizenzpflichtig
Quelle: DNB
