>> Amazon.co.jp
このページのQRコード

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings

種類:
図書
責任表示:
R. Cori, M. Wirsing (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1988
著者名:
シリーズ名:
Lecture notes in computer science ; 294 <BA00009279>
ISBN:
9783540188346 [3540188347] (: gw)  CiNii Books  Calil
9780387188348 [0387188347] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Cori, Robert, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
7 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag
2 電子ブック STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

Cori, Robert., Wirsing, Martin., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), &hellip;

Springer-Verlag
3 図書 STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings

Symposium on Theoretical Aspects of Computer Science, Monien, Burkhard, Cori, Robert

Springer-Verlag
9 図書 STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings

Symposium on Theoretical Aspects of Computer Science, Brandenburg, F. J. (Franz J.), Vidal-Naquet, G., Wirsing, M. &hellip;

Springer-Verlag
4 図書 STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 / sponsored by AFCET (Association Francaise pour la Cybernétique …

Symposium on Theoretical Aspects of Computer Science, Fontet, M. (Max), Mehlhorn, Kurt, 1949-, Association française &hellip;

Springer-Verlag
10 電子ブック STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings

Monien, Burkhard., Cori, Robert., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Matii︠a︡sevich, I︠U︡. &hellip;

Springer-Verlag
11 図書 STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings

Symposium on Theoretical Aspects of Computer Science, Puech, Claude, Reischuk, Rüdiger

Springer
6 図書 Logical foundations of computer science : 4th international symposium, LFCS ʾ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

International Symposium on Logical Foundations of Computer Science, Adi︠a︡n, S. I., Nerode, Anil, 1932-

Springer-Verlag
12 図書 STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings

Symposium on Theoretical Aspects of Computer Science, Finkel, Alain, Jantzen, Matthias, 1948-

Springer-Verlag