Mathematical Foundations of Computer Science 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings

>> Google Books

Mathematical Foundations of Computer Science 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings / edited by Branislav Rovan

版:

1st ed. 1990

資料種別:

電子ブック

形態:

X, 546 p.

シリーズ名:

Lecture Notes in Computer Science ; 452

著者名:

ISBN:

9783540471851 [3540471855]
9783662184639 [366218463X]
9783540529538 [3540529535]

書誌ID:

EB00003298

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This symposium is the 15th in a series of international meetings which have taken place in Czechoslovakia and Poland. The aim of these symposia is to bring together specialists in theoretical fields of computer science from various countries and to stimulate mathematical research in theoretical computer science. These proceedings consist of 10 invited papers and 52 communications selected by the international Program Committee. The papers present the latest results in key areas of computer science by authors from Europe, USA, Japan and China.

主題:

Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematics of Computing; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings Kreczmar, Antoni., Mirkowska, Grazyna., SpringerLink (Online service)	7 電子ブック Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings Thiagarajan, P.S., SpringerLink (Online service)
2 電子ブック Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings Privara, Igor., Rovan, Branislav., Ruzicka, Peter., SpringerLink (Online service)	8 電子ブック Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings Nerode, Anil., Taitslin, Mikhail., SpringerLink (Online service)
3 電子ブック Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings Gruska, Jozef., Rovan, Branislav., Wiedermann, Juraj., SpringerLink (Online service)	9 電子ブック Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings Chandru, Vijay., Vinay, V., SpringerLink (Online service)
4 電子ブック Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings Havel, Ivan M., Koubek, Vaclav., SpringerLink (Online service)	10 電子ブック STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings Choffrut, Christian., Lengauer, Thomas., SpringerLink (Online service)
5 電子ブック FST TCS 2000: Foundations of Software Technology and Theoretical Science : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings Kapoor, Sanjiv., Prasad, Sanjiva., SpringerLink (Online service)	11 電子ブック Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings Fiala, Jirí., Koubek, Václav., Kratochvíl, Jan., SpringerLink (Online service)
6 電子ブック Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings Wiedermann, Jiri., Hajek, Petr., SpringerLink (Online service)	12 電子ブック STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings Diekert, Volker., Habib, Michel., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12