Skip to main content
  • Conference proceedings
  • © 2008

SOFSEM 2008: Theory and Practice of Computer Science

34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings

Conference proceedings info: SOFSEM 2008.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (67 papers)

  1. Front Matter

  2. Invited Talks

    1. Designing Adaptive Web Applications

      • Peter Dolog
      Pages 23-33
    2. On the Hardness of Reoptimization

      • Hans-Joachim Böckenhauer, Juraj Hromkovič, Tobias Mömke, Peter Widmayer
      Pages 50-65
    3. Describing Self-assembly of Nanostructures

      • Natasha Jonoska, Gregory L. McColm
      Pages 66-73
    4. Remote Entrusting by Run-Time Software Authentication

      • Mariano Ceccato, Yoram Ofek, Paolo Tonella
      Pages 83-97
  3. Foundations of Computer Science

    1. Recursive Domain Equations of Filter Models

      • Fabio Alessi, Paula Severi
      Pages 124-135
    2. Algorithmic Problems for Metrics on Permutation Groups

      • V. Arvind, Pushkar S. Joglekar
      Pages 136-147
    3. Periodic and Infinite Traces in Matrix Semigroups

      • Paul Bell, Igor Potapov
      Pages 148-161
    4. Exact OBDD Bounds for Some Fundamental Functions

      • Beate Bollig, Niko Range, Ingo Wegener
      Pages 174-185
    5. Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers

      • Nieves Brisaboa, Oscar Pedreira, Diego Seco, Roberto Solar, Roberto Uribe
      Pages 186-197
    6. A Useful Bounded Resource Functional Language

      • Michael J. Burrell, James H. Andrews, Mark Daley
      Pages 198-210
    7. On Reachability Games of Ordinal Length

      • Julien Cristau, Florian Horn
      Pages 211-221

Other Volumes

  1. SOFSEM 2008: Theory and Practice of Computer Science

Keywords

  • Computer
  • Processing
  • algorithms
  • approximation
  • automata
  • combinatorial complexity
  • complexity
  • connectivity
  • cryptography
  • database management
  • digital topology
  • formal methods
  • grap
  • graph computations
  • petri net

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions