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

>> Google Books

所蔵情報QRコード

STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings / B. Monien, R. Cori (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

形態:

viii, 543 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 349 <BA00009279>

著者名:

ISBN:

9783540508403 [3540508406] (: gw)
9780387508405 [0387508406] (: us)

書誌ID:

BA0664656X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Computers--Congresses; Electronic data processing--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック 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)	7 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us) Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948- Springer-Verlag
2 図書 STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings (: gw ; : us) Symposium on Theoretical Aspects of Computer Science, Cori, Robert, Wirsing, M. (Martin) Springer-Verlag	8 図書 Graph-theoretic concepts in computer science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, proceedings (: gw ; : us) International Workshop on Graph-Theoretic Concepts in Computer Science, Nagl, Manfred, 1944-, Rheinisch-Westfälische … Springer-Verlag
3 図書 STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 (: gw ; : us) Symposium on Theoretical Aspects of Computer Science, Fontet, M. (Max), Mehlhorn, Kurt, 1949-, Association française … Springer-Verlag	9 電子ブック STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 Monien, B., Vidal-Naquet, G., SpringerLink (Online service)
4 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us) International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.) Springer-Verlag	10 図書 Digest of papers : Compcon Spring 89, February 27-March 3, 1989, Thirty-fourth IEEE Computer Society International Conference, San Francisco : Intellectual … (: paper ; : case ; : microfiche) Compcon, IEEE Computer Society IEEE Computer Society Press, Order from IEEE Computer Society
5 電子ブック 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)	11 図書 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings (: gw ; : us) International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Michael A.) Springer-Verlag
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 図書 Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings (: us ; : gw) International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Matii︠a︡sevich, I︠U︡. … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12