Skip to main content
SpringerLink
Log in
Book cover

SOFSEM '97: Theory and Practice of Informatics

24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. František Plášil
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Keith G. Jeffery
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1338)

Included in the following conference series:

Conference proceedings info: SOFSEM 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (46 papers)

  1. Front Matter

    Download chapter PDF

  2. Computer chess: Algorithms and heuristics for a deep look into the future

    • Rainer Feldmann
    Pages 1-18

  3. Algorithms for triangulated terrains

    • Marc van Kreveld
    Pages 19-36

  4. On the distributed realization of parallel algorithms

    • Klaus-Jörn Lange
    Pages 37-52

  5. The fundamental problem of database design

    • J. A. Makowsky, E. V. Ravve
    Pages 53-69

  6. Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP)

    • Jaroslav Nešetřil, Daniel Turzí'k
    Pages 70-85

  7. The computational power of continuous time neural networks

    • Pekka Orponen
    Pages 86-103

  8. A foundation for computable analysis

    • Klaus Weihrauch
    Pages 104-121

  9. Towards machines that can think

    • Jiří Wiedermann
    Pages 122-141

  10. Computational complexity of continuous problems

    • Henryk Woźniakowski
    Pages 142-143

  11. Path layout in ATM networks

    • Shmuel Zaks
    Pages 144-160

  12. The mobile agent technology

    • S. Covaci, T. Magedanz
    Pages 161-162

  13. Theory and practice in interactionally rich distributed systems

    • David A. Duce
    Pages 163-182

  14. Configuration-based programming systems

    • Valérie Issarny
    Pages 183-200

  15. Automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications

    • Prakash K. Muthukrishnan, Barrett R. Bryant
    Pages 201-218

  16. A formal software engineering paradigm: From domains via requirements to software - Formal specification & design calculi -

    • Dines Bjørner
    Pages 219-248

  17. The whole picture to software process improvement

    • Annie Kuntzmann-Combelles
    Pages 249-265

  18. Object-oriented design patterns

    • Wolfgang Pree
    Pages 266-274

  19. Object-oriented DBMS and beyond

    • Klaus R. Dittrich, Andreas Geppert
    Pages 275-294

  20. On integration of relational and object-oriented database systems

    • Maria E Orlowska, Hui Li, Chengfei Liu
    Pages 295-312
Back to top

Other volumes

  1. SOFSEM'97: Theory and Practice of Informatics

Keywords

About this book

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation