Advertisement

SOFSEM’ 98: Theory and Practice of Informatics

25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings

  • Branislav Rovan
Conference proceedings SOFSEM 1998

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

    1. Benny Chor
      Pages 36-53
    2. Christoph Eilinghoff, Uwe Kastens
      Pages 54-67
    3. Ghica van Emde Boas - Lubsen, Peter van Emde Boas
      Pages 68-88
    4. Petr Hanáček
      Pages 107-121
    5. Winfried Lamersdorf, Michael Merz, Tuan Tu
      Pages 135-148
    6. Reinhard Lüling, Francisco Cortes Gomez, Norbert Sensen
      Pages 149-166
    7. Alberto Marchetti-Spaccamela
      Pages 167-167
    8. Christos Nikolaou, Manolis Marazakis
      Pages 186-203
    9. Bart Preneel
      Pages 204-221
    10. Cécile Roisin
      Pages 222-239
    11. Dieter Rombach
      Pages 240-243
    12. Peter RuŽička
      Pages 244-263
  3. Contributed Papers

    1. Martin Beran
      Pages 285-293
    2. Radovan Cervenka
      Pages 294-303
    3. Bogdan S. Chlebus
      Pages 304-311
    4. Stefan Dobrev, Peter RuŽička
      Pages 312-321
    5. Henning Fernau
      Pages 322-331
    6. Luca Forlizzi, Enrico Nardelli
      Pages 332-343
    7. Anna Gambin, Adam Malinowski
      Pages 344-349
    8. Tomáš Hruška, Petr Kolenčik, Michal Máčel
      Pages 360-370
    9. Costas S. Iliopoulos, Maureen Korda
      Pages 371-380
    10. Sławomir Lasota
      Pages 381-388
    11. Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán
      Pages 389-398
    12. Anna Slobodova, Christoph Meinel
      Pages 419-428
    13. Pavel SmrŽ, Aleš Horák
      Pages 429-436
    14. Pavel SmrŽ, štĚpán Hrbáček, Michal Martinásek
      Pages 437-442
  4. Back Matter
    Pages 453-453

About these proceedings

Keywords

Algorithms Distributed Processing Electronic Commerce Media Server Parallel Systems Routing Signatur Software Engineering architecture automated theorem proving distributed systems programming security software architecture theorem proving

Editors and affiliations

  • Branislav Rovan
    • 1
  1. 1.Department of Computer ScienceComenius UniversityBratislavaSlovakia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49477-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65260-1
  • Online ISBN 978-3-540-49477-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering