SOFSEM '98: Theory and Practice of Informatics

SOFSEM '98: Theory and Practice of Informatics
Author :
Publisher : Springer
Total Pages : 465
Release :
ISBN-10 : 9783540494775
ISBN-13 : 3540494774
Rating : 4/5 (774 Downloads)

Book Synopsis SOFSEM '98: Theory and Practice of Informatics by : Branislav Rovan

Download or read book SOFSEM '98: Theory and Practice of Informatics written by Branislav Rovan and published by Springer. This book was released on 2003-06-29 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.


SOFSEM '98: Theory and Practice of Informatics Related Books

SOFSEM '98: Theory and Practice of Informatics
Language: en
Pages: 465
Authors: Branislav Rovan
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in Novemb
Handbook of Satisfiability
Language: en
Pages: 1486
Authors: A. Biere
Categories: Computers
Type: BOOK - Published: 2021-05-05 - Publisher: IOS Press

DOWNLOAD EBOOK

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza
LATIN'98: Theoretical Informatics
Language: en
Pages: 408
Authors: Claudio L. Lucchesi
Categories: Computers
Type: BOOK - Published: 1998-03-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 19
EP '98
Language: en
Pages: 596
Authors: Roger Hersch
Categories: Art
Type: BOOK - Published: 1998-03-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the EP'98 and RIDT'98 conferences, held jointly during the Second International Week on Electronic Publishing and
Algorithms and Data Structures
Language: en
Pages: 496
Authors: Frank Dehne
Categories: Computers
Type: BOOK - Published: 2003-05-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS 2001, held in Providence, RI, USA in Au