Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

>> Google Books

Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings / edited by Oscar H. Ibarra, Zhe Dang

版:

1st ed. 2003

資料種別:

電子ブック

形態:

XI, 312 p.

シリーズ名:

Lecture Notes in Computer Science ; 2759

著者名:

ISBN:

9783540450894 [3540450890]
9783662183458 [3662183455]
9783540405610 [3540405615]

書誌ID:

EB00004761

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.

主題:

Algorithms; Artificial Intelligence; Computer Science; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers Watson, Bruce., Wood, Derick., SpringerLink (Online service)	7 電子ブック Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings Paterson, Michael S., SpringerLink (Online service)
2 電子ブック Implementation and Application of Automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers Champarnaud, Jean-Marc., Maurel, Denis., SpringerLink (Online service)	8 電子ブック 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)
3 電子ブック Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers Yu, Sheng., Paun, Andrei., SpringerLink (Online service)	9 電子ブック Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Alur, Rajeev., Peled, Doron A., SpringerLink (Online service)
4 電子ブック 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)	10 電子ブック Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings Calmet, Jacques., Plaza, Jan., SpringerLink (Online service)
5 電子ブック Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings Paredaens, J., SpringerLink (Online service)	11 電子ブック Conceptual Structures: Broadening the Base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, … Delugach, Harry S., Stumme, Gerd., SpringerLink (Online service)
6 図書 Implementation and application of automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings International Conference on Implementation and Application of Automata, Ibarra, Oscar H., Danga, Zhe, 1967- Springer	12 電子ブック Learning Theory and Kernel Machines : 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, … Schölkopf, Bernhard., Warmuth, Manfred K., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12