Catalog

Record Details

Catalog Search


Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers Cover Image E-book E-book

Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek.

Holub, Jan. (editor.). Žďárek, Jan. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540763369
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

Search for related items by series

Electronic resources

Texto completo


Additional Resources