Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 20

主題:

Compilers and Interpreters; Computer Communication Networks; Computer Graphics; Data Science; Data Structures and Information Theory; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Distributed Algorithms : 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings Leeuwen, Jan van., SpringerLink (Online service)	7 電子ブック LATIN 2002: Theoretical Informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings Rajsbaum, Sergio., SpringerLink (Online service)
2 図書 Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : … International Conference IFIP TCS, Leeuwen, Jan van Springer	8 電子ブック Graph-Theoretic Concepts in Computer Science : 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings Brandes, Ulrik., Wagner, Dorothea., SpringerLink (Online service)
3 電子ブック Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings Ito, Takayasu., Meyer, Albert R., SpringerLink (Online service)	9 電子ブック Graph-Theoretic Concepts in Computer Science : International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings Leeuwen, Jan van., SpringerLink (Online service)
4 電子ブック STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings Alt, Helmut., Ferreira, Afonso., SpringerLink (Online service)	10 電子ブック STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings Reichel, Horst., Tison, Sophie., SpringerLink (Online service)
5 電子ブック STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings Meinel, Christoph., Tison, Sophie., SpringerLink (Online service)	11 電子ブック Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings Rovan, Branislav., Vojtas, Peter., SpringerLink (Online service)
6 電子ブック Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings Nielsen, Mogens., Rovan, Branislav., SpringerLink (Online service)	12 電子ブック Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings Diks, Krzystof., Rytter, Wojciech., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12