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: SOFSEM 2016: Theory and Practice of Computer Science
    sub title: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
  name:
    name part: Freivalds, Rūsiņš Mārtiņš.
    role:
      role term: editor.
  name:
    name part: Engels, Gregor.
    role:
      role term: editor.
  name:
    name part: Catania, Barbara.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    edition: 1st ed. 2016.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 630 p. 150 illus. in color. online resource.
  abstract: This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length. .
  table of contents: Foundations of Computer Science -- Cryptography in a Quantum World -- Relating Sublinear Space Computability among Graph Connectivity and Related Problems -- Learning Automatic Families of Languages -- Software Engineering: Methods, Tools, Applications From ESSENCE to Theory Oriented Software Engineering -- Incremental Queries and Transformations: From Concepts to Industrial Applications -- Data, Information, and Knowledge Engineering Big Sequence Management: A Glimpse on the Past, the Present, and the Future -- Pay-as-you-go Data Integration: Experiences and Recurring Themes -- Foundations of Computer Science -- Robust Recoverable Path Using Backup Nodes -- On Contact Graphs with Cubes and Proportional Boxes -- Orthogonal Layout with Optimal Face Complexity -- L-Drawings of Directed Graphs -- A Combinatorial Model of Two-sided Search -- On the Power of Laconic Advice in Communication Complexity -- Using Attribute Grammars to Model Nested Workflows with Extra Constraints -- A Natural Counting of Lambda Terms -- Online Minimum Spanning Tree with Advice -- Subsequence Automata with Default Transitions -- Run-Time Checking Multi-threaded Java Programs -- Online Graph Coloring with Advice and Randomized Adversary -- Pseudoknot-Generating Operation -- Capabilities of Ultrametric Automata with One, Two, and Three States -- The Complexity of Paging Against a Probabilistic Adversary -- On Parity Game Preorders and the Logic of Matching Plays -- A PTAS for Scheduling Unrelated Machines of Few Different Types -- Compacting a Dynamic Edit Distance Table by RLE Compression -- Walking Automata in Free Inverse Monoids -- Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique -- Grover's Search with Faults on Some Marked Elements -- Reachability problems for PAMs -- On the Effects of Nondeterminism on Ordered Restarting Automata -- Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations -- How to Smooth Entropy? -- Bounded TSO-to-SC Lin…
  note: edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Data encryption (Computer science)
  subject:
    topic: Algorithms
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Information Storage and Retrieval
  subject:
    topic: Software Engineering
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Data Encryption
  classification: QA76.9.M35
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9587
  identifier: 9783662491928
  identifier: http://dx.doi.org/10.1007/978-3-662-49192-8
  record info:
    record creation date: 160107
    record change date: 20160109021154.0
    record identifier: 978-3-662-49192-8