Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings

>> Google Books

Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings / edited by P.S. Thiagarajan

版:

1st ed. 1994

資料種別:

電子ブック

形態:

XII, 460 p.

シリーズ名:

Lecture Notes in Computer Science ; 880

著者名:

ISBN:

9783540490548 [354049054X]
9783662187265 [3662187264]
9783540587156 [3540587152]

書誌ID:

EB00002834

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics.

主題:

Algorithms; Computer Graphics; Computer Science Logic and Foundations of Programming; Discrete Mathematics; Software Engineering; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings Thiagarajan, P.S., SpringerLink (Online service)	7 電子ブック FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings Pandya, Paritosh K., Radhakrishnan, Jaikumar., SpringerLink (Online service)
2 電子ブック Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings Chandru, Vijay., Vinay, V., SpringerLink (Online service)	8 電子ブック Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings Nori, Kesav V., SpringerLink (Online service)
3 電子ブック Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings Nori, Kesav V., Veni Madhavan, C.E., SpringerLink (Online service)	9 電子ブック Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings Nagl, Manfred., SpringerLink (Online service)
4 電子ブック FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings Agrawal, Manindra., Seth, Anil., SpringerLink (Online service)	10 電子ブック Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings Veni Madhavan, Conjeevaram E., SpringerLink (Online service)
5 電子ブック Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings Nori, Kesav V., Kumar, Sanjeev., SpringerLink (Online service)	11 電子ブック Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Biswas, Somenath., Nori, Kesav V., SpringerLink (Online service)
6 電子ブック Foundations of Software Technology and Theoretical Computer Science : 13th Conference, Bombay, India, December 15-17, 1993. Proceedings Shyamasundar, Rudrapatna K., SpringerLink (Online service)	12 電子ブック FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings Hariharan, Ramesh., Mukund, Madhavan., Vinay, V., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12