Perspectives of system informatics
: proceedings / Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999. D. Bjørner ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1755)
ISBN 978-3-540-46562-1
Lizenzpflichtig
Quelle: DNB
Perspectives of systems informatics
: revised papers / 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006. Irina Virbitskaite ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4378)
ISBN 978-3-540-70881-0
Lizenzpflichtig
Quelle: DNB
Probl`emes d'informatique fondamentale
: voyages au pays de l'informatique fondamentale au gré de probl`emes de concours / E. Badouel .... - Berlin : Springer, 2001. - 168 S. : graph. Darst.; 24 cm - (Collection Scopos; Vol. 13)
ISBN 978-3-540-42341-6 / 3-540-42341-9 kart. : DM 53.39
Quelle: DNB
Proceedings / LATIN '92
/ 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6 - 10, 1992. I. Simon (ed.). - Berlin : Springer, 1992. - IX, 544 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 583)
ISBN 978-3-540-55284-0 / 3-540-55284-7 kart. : DM 104.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 2000
/ 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. H. Reichel ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1770)
ISBN 978-3-540-46541-6
Lizenzpflichtig
Quelle: DNB
Proceedings / STACS 2000
/ 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17 - 19, 2000. Horst Reichel ; Sophie Tison (ed.). - Berlin : Springer, 2000. - XIV, 662 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1770)
ISBN 978-3-540-67141-1 / 3-540-67141-2 kart. : DM 138.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 2001
/ 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001. A. Ferreira ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2010)
ISBN 978-3-540-44693-4
Lizenzpflichtig
Quelle: DNB
Proceedings / STACS 2002
/ 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14 - 16, 2002. H. Alt ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2285)
ISBN 978-3-540-45841-8
Lizenzpflichtig
Quelle: DNB
Proceedings / STACS 2002
/ 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14 - 16, 2002. Helmut Alt ; Afonso Ferreira (ed.). - Berlin : Springer, 2002. - XIV, 660 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2285)
ISBN 978-3-540-43283-8 / 3-540-43283-3 kart. : EUR 77.04
Literaturangaben
Quelle: DNB
Proceedings / STACS 2003
/ 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. H. Alt ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2607)
ISBN 978-3-540-36494-8
Lizenzpflichtig
Quelle: DNB
