Advertisement

Perspectives of System Informatics

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

  • Manfred Broy
  • Alexandre V. Zamulin

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

Table of contents

  1. Databases

    1. Kjetil Nørvåg, Marit Limstrand, Lene Myklebust
      Pages 520-530
    2. Jixue Liu, Millist Vincent, Chengfei Liu
      Pages 531-538
    3. Joaquín Pérez O., Rodolfo A. Pazos, René Santaolaya, Juan Frausto S., Guillermo Rodríguez O., Laura Cruz R. et al.
      Pages 539-545
  2. Natural Language Processing

    1. Cornelis H. A. Koster, Marc Seutter, Jean Beney
      Pages 546-555
    2. Alexander Gelbukh, Grigori Sidorov, SangYong Han, Liliana Chanona-Hernandez
      Pages 556-562
  3. Back Matter

About these proceedings

Keywords

Processing database distributed systems logic model checking programming verification

Editors and affiliations

  • Manfred Broy
    • 1
  • Alexandre V. Zamulin
    • 2
  1. 1.Technische Universität MünchenGermany
  2. 2.A.P. Ershov Institute of Informatics SystemsSiberian Branch of Russian Academy of SciencesNovosibirskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/b94823
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20813-6
  • Online ISBN 978-3-540-39866-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering