Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, Jan Zdarek (eds.).
Contributor(s): Holub, Jan | Žd̕árek, JanMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 4783.; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2007Description: 1 online resource (xiii, 324 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540763369; 3540763368; 9783540763352; 354076335XOther title: CIAA 2007Subject(s): Machine theory -- Congresses | Machine theory | Informatique | Machine theory | Algebra | Computer Science | Engineering & Applied Sciences | Mathematics | Physical Sciences & Mathematics | algoritmen | algorithms | computeranalyse | computer analysis | wiskunde | mathematics | computerwetenschappen | computer sciences | computational science | logica | logic | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Implementation and application of automata.DDC classification: 006.3/1 LOC classification: QA267 | .C5246 2007ebOther classification: TP11-532 | TP23-532 | TP301. 1-532 Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and index.
Invited talks -- Contributed talks -- Poster abstracts.
Print version record.
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Republic on July 16-18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference. The proceedings also include the abstracts and extended abstracts offourinvitedlecturespresentedbyGheorghePau? n, MichaelRiley, MosheVardi, and Bruce W. Watson. The 23 regular papers and 7 poster papers were selected from 79 submitted papers covering various topics in the theory, implementation, and application of automataandrelatedstructures. Eachsubmitted paper wasreviewedbyatleast threeProgramCommitteemembers, with the assistanceofreferees. Theauthors of the papers presented here come from the following countries: Canada, Czech Republic, Denmark, Finland, France, Germany, Greece, Israel, Italy, Poland, Romania, Russia, South Africa, Spain, Sweden, UK, and USA. We wish to thank all those who made this meeting possible: the authors for submitting papers, the Program Committee members and external referees (listed on pages VII and VIII) for their excellent work, and last but not least our four invited speakers. Finally, we wish to express our sincere appreciation to the sponsors and local organizers.