rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Implementation and Application of Automata
    sub title: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
  name:
    name part: Bouchou-Markhoff, Béatrice.
    role:
      role term: editor.
  name:
    name part: Caron, Pascal.
    role:
      role term: editor.
  name:
    name part: Champarnaud, Jean-Marc.
    role:
      role term: editor.
  name:
    name part: Maurel, Denis.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIII, 299 p. 45 illus., 18 illus. in color. online resource.
  abstract: This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.
  note: edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel.
  subject:
    topic: Computer science
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Computers
  subject:
    topic: Algorithms
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Computer Science
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Data Structures
  classification: QA76.9.A43
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6807
  identifier: 9783642222566
  identifier: http://dx.doi.org/10.1007/978-3-642-22256-6
  record info:
    record creation date: 110719
    record change date: 20170110055655.0
    record identifier: 978-3-642-22256-6