1
Published 2001
Springer Berlin Heidelberg

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... for Structuring Functional-Logic Programs -- Language Tools and Programming Systems inEducational Informatics...

3
Published 2003
Springer Berlin Heidelberg

4
Published 1996
Springer Berlin Heidelberg
... Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June...

5
by Bjørner, Dines
Published 2001
Springer-Verlag Berlin Heidelberg

7
by Broy, Manfred
Published 2003
Springer Berlin Heidelberg

8
by Bjøner, Dines
Published 2000
Springer-Verlag Berlin Heidelberg

9
Published 2012
Springer Berlin Heidelberg
Subjects: ...Health informatics...

10
Published 1993
Springer Berlin Heidelberg
...-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian...