Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings

>> Google Books

Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings / edited by Michael S. Paterson

版:

1st ed. 1990

資料種別:

電子ブック

形態:

XII, 788 p.

シリーズ名:

Lecture Notes in Computer Science ; 443

著者名:

ISBN:

9783540471592 [3540471596]
9783662183052 [3662183056]
9783540528265 [3540528261]

書誌ID:

EB00003369

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.

主題:

Algorithms; Artificial Intelligence; Data Science; Discrete Mathematics; Formal Languages and Automata Theory; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Automata, Languages and Programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings Leach Albert, Javier., Monien, Burkhard., Rodriguez Artalejo, Mario., SpringerLink (Online service)	7 電子ブック Automata, Languages and Programming : Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981 Even, S., Kariv, O., SpringerLink (Online service)
2 電子ブック Automata, Languages and Programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings Kuich, Werner., SpringerLink (Online service)	8 電子ブック Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings Lingas, Andrzej., Karlsson, Rolf., Carlsson, Svante., SpringerLink (Online service)
3 電子ブック Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings Ausiello, Giorgio., Dezani-Ciancaglini, Mariangiola., Ronchi Della Rocca, Simonetta., SpringerLink (Online service)	9 電子ブック Automata, Languages and Programming : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings Meyer auf der Heide, Friedhelm., Monien, Burkhard., SpringerLink (Online service)
4 電子ブック Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings Paredaens, J., SpringerLink (Online service)	10 電子ブック Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings Brauer, Wilfried., SpringerLink (Online service)
5 電子ブック Graph-Theoretic Concepts in Computer Science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 Möhring, Rolf H., SpringerLink (Online service)	11 電子ブック Algorithms and Computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings Du, Ding-Zhu., Zhang, Xiang-Sun., SpringerLink (Online service)
6 電子ブック Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings Larsen, Kim G., Skyum, Sven., Winskel, Glynn., SpringerLink (Online service)	12 電子ブック Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings Ibarra, Oscar H., Dang, Zhe., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12