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 (75 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
Mathematics, Computer Science and Logic - A Never Ending Story
Language: en
Pages: 120
Authors: Peter Paule
Categories: Computers
Type: BOOK - Published: 2013-09-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer
Mathematical Foundations of Computer Science 2000
Language: en
Pages: 724
Authors: Mogens Nielsen
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislav
Engineering Theories of Software Construction
Language: en
Pages: 372
Authors: Charles A. R. Hoare
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: IOS Press

DOWNLOAD EBOOK

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/Au
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