ブックマーク登録
テキスト出力
メール送信
このページのURLをコピー
他アクションMathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
書誌情報を取り込む- フォーマット
-
- 図書
- 責任表示
- M.P. Chytil, L. Janiga, V. Koubek (eds.)
- 出版情報
-
- Berlin ; Tokyo : Springer-Verlag , c1988
- 形態
-
- ix, 562 p. : ill. ; 25 cm
- ISBN
-
-
9783540501107
[354050110X]
(: gw)
-
9780387501109
[038750110X]
(: us)
-
9783540501107
[354050110X]
(: gw)
- シリーズ名
-
- Lecture notes in computer science ; 324 <BA00009279>
- 著者名
- 書誌ID
-
- BA04228707
- 注記
-
- "This volume contains 11 invited papers and 42 short communications contributed for presentation at the 13th Symposium on Mathematical Foundations of Computer Science--MFCS'88, held at Carlsbad, Czechoslovakia, August 29-September 2, 1988"--Foreword
- Includes bibliographical references
- E-Resources
-
Loading...
Loading...
Loading...
- 言語
-
- 英語
- 分類・件名
-
- LCC：QA76.9.M35
- DCC：004/.01/51
- LCSH：Electronic data processing--Mathematics--Congresses
図書
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings
Rovan, Branislav, 1947-
Symposium on Mathematical Foundations of Computer Science
Springer-Verlag, c1990
図書
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
Symposium on Mathematical Foundations of Computer Science
Mazurkiewicz, Antoni
Polska Akademia Nauk. Centrum Obliczeniowe
Uniwersytet Gdański
Springer-Verlag, 1976
図書
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, c1997
図書
27th Annual Symposium on Foundations of Computer Science, Oct. 27-29, 1986
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1986
図書
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, c1989
図書
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.), 1936-
Springer-Verlag, c1992
図書
Proceedings : 37th Annual Symposium on Foundations of Computer Science, October 14-16, 1996, Burlington, Vermont
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1996
図書
Proceedings of the seventh IBM Symposium on Mathematical Foundations of Computer Science : mathematical theory of computations
IBM Symposium on Mathematical Foundations of Computer Science
IBM Japan. Corporate & Scientific Programs
Corporate & Scientific Programs, IBM Japan, [1982]
図書
Proceedings : 38th Annual Symposium on Foundations of Computer Science, October 20-22, 1997, Miami Beach, Florida
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1997
図書
Proceedings : 39th Annual Symposium on Foundations of Computer Science, November 8-11, 1998, Palo Alto, California
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1998
図書
Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms
IBM Symposium on Mathematical Foundations of Computer Science
IBM Japan. Corporate & Scientific Programs
Corporate & Scientific Programs IBM Japan, [1977]
図書
Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Workshop on Computer Science Logic
European Association for Computer Science Logic
Fribourg, Laurent, 1957-
Springer, c2001
図書
24th Annual Symposium on Foundations of Computer Science, November 7-9, 1983
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1983
図書
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
Symposium on Theoretical Aspects of Computer Science
Mayr, Ernst W.
Puech, Claude
Springer-Verlag, 1995
図書
40th Annual Symposium on Foundations of Computer Science, October 17-19, 1999, New York City, New York
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1999
図書
30th Annual Symposium on Foundations of Computer Science, October 30-November 1, 1989, Research Triangle Park, NC
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1989
図書
Proceedings of the XXIV International Congress of Psychology of the International Union of Psychological Science (I.U.Psy.S.), Sydney, Australia, August 28-September 2, 1988 : selected/revised papers
International Congress of Psychology
Lovibond, S. H.
International Union of Psychological Science
North-Holland
Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
図書
31st Annual Symposium on Foundations of Computer Science, October 22-24, 1990, St. Louis, Missouri
Symposium on Foundations of Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1990
図書
Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991
London Mathematical Society Symposium on Applications of Categories in Computer Science
Fourman, M. P., 1950-
Johnstone, P. T
Pitts, A. M
Cambridge University Press, 1992
図書
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Workshop on Computer Science Logic
European Association for Computer Science Logic
Clote, Peter
Schwichtenberg, Helmut, 1942-
Springer, c2000