1
Swat, proceedings. 1988, 1 : scandinavian workshop on algorithm theory, proceedings : Halmstad, 05.07.88-08.07.88.
Book
...Lecture notes in computer science ;...
2
Computation theory and logic : in memory of Dieter Rödding on the occasion of the 50th anniversary of his birth.
Book
...Lecture notes in computer science ;...
3
Algorithms in modern mathematics and computer science : international symposium, proceedings : Urgench, 16.09.79-22.09.79.
Book
...Lecture notes in computer science ;...
4
Automata, languages and programming. 7 : international colloquium : Noordwijkerhout, 14.07.80-18.07.80.
Book
...Lecture notes in computer science ;...
5
Edinburgh LCF : a mechanised logic of computation.
Book
...Lecture notes in computer science ;...
6
Theoretical computer science. 4 : GI Fachtagung theoretische Informatik : Aachen, 26.03.79-28.03.79.
Book
...Lecture notes in computer science ;...
7
Mathematical foundations of computer science. 1979, 8 : Mathematical foundations of computer science : symposium : Olomouc, 03.09.79-07.09.79.
Book
Becvar, J.
1979
...Lecture notes in computer science ;...
8
Mathematical foundations of computer science. 1976, 5 : Mathematical foundations of computer science : symposium : Gdansk, 06.09.76-10.09.76
Book