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: Formal Methods for Dynamical Systems
    sub title: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
  name:
    name part: Bernardo, Marco.
    role:
      role term: editor.
  name:
    name part: Vink, Erik de.
    role:
      role term: editor.
  name:
    name part: Pierro, Alessandra Di.
    role:
      role term: editor.
  name:
    name part: Wiklicky, Herbert.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: VIII, 181 p. 49 illus. online resource.
  abstract: This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.
  table of contents: Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking.
  note: edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Bioinformatics
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Computational Biology/Bioinformatics
  subject:
    topic: Computation by Abstract Devices
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 7938
  identifier: 9783642388743
  identifier: http://dx.doi.org/10.1007/978-3-642-38874-3
  record info:
    record creation date: 130611
    record change date: 20151103123530.0
    record identifier: 978-3-642-38874-3