Advertisement

Table of contents

  1. Front Matter
  2. Marc van Kreveld
    Pages 19-36
  3. J. A. Makowsky, E. V. Ravve
    Pages 53-69
  4. Klaus Weihrauch
    Pages 104-121
  5. Jiří Wiedermann
    Pages 122-141
  6. Henryk Woźniakowski
    Pages 142-143
  7. Shmuel Zaks
    Pages 144-160
  8. S. Covaci, T. Magedanz
    Pages 161-162
  9. Valérie Issarny
    Pages 183-200
  10. Annie Kuntzmann-Combelles
    Pages 249-265
  11. Wolfgang Pree
    Pages 266-274
  12. Klaus R. Dittrich, Andreas Geppert
    Pages 275-294
  13. Maria E Orlowska, Hui Li, Chengfei Liu
    Pages 295-312
  14. M. H. Williams, N. W. Paton
    Pages 313-330
  15. Jiří Zlatuška
    Pages 349-372
  16. Luca Becchetti, Carlo Gaibisso
    Pages 373-382
  17. Bingning Dai, David A Bell, John G Hughes
    Pages 383-390
  18. Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán
    Pages 407-414
  19. Vladimír Glasnák
    Pages 415-422
  20. Markus Hof, Hanspeter Mössenböck, Peter Pirkelbauer
    Pages 423-431
  21. Jan Janoušek, Bořivoj Melichar
    Pages 432-439
  22. Jiří Kadlec
    Pages 440-447
  23. Ivan Kopeček
    Pages 456-463
  24. Rastislav Královič
    Pages 464-472
  25. Massimo Marchiori
    Pages 497-504
  26. František Mráz, Martin Plátek, Petr Jančar, Jörg Vogel
    Pages 505-512
  27. Shan-Hwei Nienhuys-Cheng, Arie de Bruin
    Pages 513-522
  28. Karel Pala, Pavel Rychlý, Pavel Smrž
    Pages 523-530
  29. Wim Pijls, Arie de Bruin
    Pages 539-546
  30. H. Schröder, A.E. May, I. Vrt'o, O. Sýkora
    Pages 547-554
  31. Heiko Schröder, Ondrej Sýkora, Imrich Vrt'o
    Pages 555-562
  32. David Štrupl, Roman Neruda
    Pages 563-570
  33. Back Matter

About these proceedings

Introduction

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.

Keywords

Automat CORBA D programming language Processing algorithms automata complexity distributed systems formal specification modeling object-oriented programming optimization programming programming language versioning

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63774-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63774-5
  • Online ISBN 978-3-540-69645-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site