Computer science logic
: 7th workshop ; selected papers / CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Egon Börger ... (ed.). - Berlin : Springer, 1994. - VIII, 336 S.; 24 cm - (Lecture notes in computer science; Vol. 832)
ISBN 978-3-540-58277-9 / 3-540-58277-0 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Computer science logic
: 5th workshop ; proceedings / CSL '91, Berne, Switzerland, October 7 - 11, 1991. E. Börger ... (ed.). - Berlin : Springer, 1992. - VIII, 428 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 626)
ISBN 978-3-540-55789-0 / 3-540-55789-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
Computer science logic
: 18th international workshop ; proceedings / CSL 2004, Karpacz, Poland, September 20 - 24, 2004. Jerzy Marcinkowski ; Andrzej Tarlecki (ed.). - Berlin : Springer, 2004. - XI, 520 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 13)
ISBN 978-3-540-23024-3 / 3-540-23024-6 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer science logic
: 13th international workshop ; proceedings / CSL '99, Madrid, Spain, September 20 - 25, 1999. Jörg Flum ; Mario Rodríguez-Artalejo (ed.). - Berlin : Springer, 1999. - XI, 580 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 8)
ISBN 978-3-540-66536-6 / 3-540-66536-6 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Computer science - theory and applications
: proceedings / Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7 - 12, 2008. Edward A. Hirsch ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5010)
ISBN 978-3-540-79709-8
Lizenzpflichtig
Quelle: DNB
Computer science - theory and applications
: proceedings / Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7 - 12, 2008. Edward A. Hirsch ... (ed.). - Berlin : Springer, 2008. - XIII, 409 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5010)
ISBN 978-3-540-79708-1 kart. : EUR 59.92 (freier Pr.), sfr 93.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer science - theory and applications
: proceedings / Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3 - 7, 2007. Volker Diekert ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4649)
ISBN 978-3-540-74510-5
Lizenzpflichtig
Quelle: DNB
Computer science - theory and applications
: proceedings / First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8 - 12, 2006. Dima Grigoriev ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3967)
ISBN 978-3-540-34168-0
Lizenzpflichtig
Quelle: DNB
Computer science - theory and applications
: proceedings / First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8 - 12, 2006. Dima Grigoriev ... (ed.). - Berlin : Springer, 2006. - XVI, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3967)
ISBN 978-3-540-34166-6 / 3-540-34166-8 kart. : EUR 81.32 (freier Pr.), sfr 128.50 (freier Pr.)
Literaturangaben
Quelle: DNB
Computer science today
: recent trends and developments / Jan van Leeuwen (ed.). - Berlin : Springer, 1995. - XIII, 641 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1000)
ISBN 978-3-540-60105-0 / 3-540-60105-8 kart. : DM 68.00
Literaturangaben
Quelle: DNB
