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 電子ブック FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, … Lodaya, Kamal., Mahajan, Meena., 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 : 13th Conference, Bombay, India, December 15-17, 1993. Proceedings Shyamasundar, Rudrapatna K., 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 電子ブック 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)
4 電子ブック FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, … Ramanujam, R., Sen, Sandeep., SpringerLink (Online service)	10 電子ブック Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings Nori, Kesav V., SpringerLink (Online service)
5 電子ブック 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)	11 電子ブック 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)
6 電子ブック 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)	12 電子ブック Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings Veni Madhavan, Conjeevaram E., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12