Programming languages and systems
: proceedings / ESOP '96, 6th European Symposium on Programming, Linköping, Sweden, April 22 - 24, 1996. Hanne Riis Nielson (ed.). - Berlin : Springer, 1996. - X, 403 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1058)
ISBN 978-3-540-61055-7 / 3-540-61055-3 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: proceedings / 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Chris Hankin (ed.). - Berlin : Springer, 1998. - X, 281 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1381)
ISBN 978-3-540-64302-9 / 3-540-64302-8 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Programming languages and systems
/ 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Mooly Sagiv (ed.). - Berlin : Springer, 2005. - XIII, 438 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3444)
ISBN 978-3-540-25435-5 / 3-540-25435-8 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (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. - 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
Programming languages: implementations, logics and programs
: 7th international symposium ; proceedings / PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ; S. Doaitse Swierstra (ed.). - Berlin : Springer, 1995. - XI, 466 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 982)
ISBN 978-3-540-60359-7 / 3-540-60359-X kart. : DM 94.00
Literaturangaben
Quelle: DNB
Ghassemi-Tabrizi, Ataeddin: Realzeit-Programmierung
/ Ataeddin Ghassemi-Tabrizi. - Berlin : Springer, 2000. - IX, 357 S. : graph. Darst.; 24 cm
ISBN 978-3-540-67121-3 / 3-540-67121-8 kart. : DM 89.00
Literaturverz. S. 347 - 349
Quelle: DNB
De Vos, Alexis: Reversible computing
: fundamentals, quantum computing, and applications / Alexis de Vos. - Weinheim : Wiley-VCH, 2010. - X, 249 S. : graph. Darst.; 25 cm
ISBN 978-3-527-40992-1 Pp. : EUR 89.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Rule representation, interchange and reasoning on the web
: international symposium ; proceedings / RuleML 2008, Orlando, FL, USA, October 30 - 31, 2008. Nick Bassiliades ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5321)
ISBN 978-3-540-88808-6
Lizenzpflichtig
Quelle: DNB
Rules and rule markup languages for the semantic web
: third international workshop ; proceedings / RuleML 2004, Hiroshima, Japan, November 8, 2004. Grigoris Antoniou ; Harold Boley (ed.). - Berlin : Springer, 2004. - X, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3323)
ISBN 978-3-540-23842-3 / 3-540-23842-5 kart. : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Rules and rule markup languages for the semantic web
: second international workshop ; proceedings / RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Michael Schroeder ; Gerd Wagner (ed.). - Berlin : Springer, 2003. - 171 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2876)
ISBN 978-3-540-20361-2 / 3-540-20361-3 kart. : EUR 40.66, sfr 65.50
Literaturangaben
Quelle: DNB
