Algebraic methodology and software technology
: 9th international conference ; proceedings / AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9 - 13, 2002. H. Kirchner ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2422)
ISBN 978-3-540-45719-0
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Trees in algebra and programming
: 21st international colloquium, Linköping, Sweden, April 22 - 24, 1996 ; proceedings / CAAP '96. Hélène Kirchner (ed.). - Berlin : Springer, 1996. - VIII, 329 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1059)
ISBN 978-3-540-61064-9 / 3-540-61064-2 kart. : DM 70.00
Literaturangaben
Quelle: DNB
