SOFSEM '97: Theory and Practice of Informatics
SOFSEM '97: Theory and Practice of Informatics

Author: Frantisek Plasil

Publisher: Springer Science & Business Media

Published: 1997-11-05

Total Pages: 596

ISBN-13: 9783540637745

DOWNLOAD EBOOK

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.

SOFSEM '98: Theory and Practice of Informatics
SOFSEM '98: Theory and Practice of Informatics

Author: Branislav Rovan

Publisher: Springer

Published: 2003-06-29

Total Pages: 465

ISBN-13: 3540494774

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 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'99: Theory and Practice of Informatics
SOFSEM'99: Theory and Practice of Informatics

Author: Jan Pavelka

Publisher: Springer

Published: 2003-07-31

Total Pages: 510

ISBN-13: 3540478493

DOWNLOAD EBOOK

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.

LATIN'98: Theoretical Informatics
LATIN'98: Theoretical Informatics

Author: Claudio L. Lucchesi

Publisher: Springer Science & Business Media

Published: 1998-03-25

Total Pages: 408

ISBN-13: 9783540642756

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 1998. The 28 revised full papers presented together with five invited surveys were carefully selected from a total of 53 submissions based on 160 referees' reports. The papers are organized in sections on algorithms and complexity; automata, transition systems and combinatorics on words; computational geometry and graph drawing; cryptography; graph theory and algorithms on graphs; packet routing; parallel algorithms; and pattern matching and browsing.

Temporal Databases: Research and Practice
Temporal Databases: Research and Practice

Author: Opher Etzion

Publisher: Springer Science & Business Media

Published: 1998-05-13

Total Pages: 456

ISBN-13: 9783540645191

DOWNLOAD EBOOK

This is an introductory text to the science of neurobiology, describing animal nervous systems, what they consist of, how they work, and how they are studied. Unlike many other neurobiology texts, considerable discussion is given to both human and non-human nervous systems. Written in an easy-to-read style, it will be useful for both biology and medical students. It provides the opportunity for self-testing at the end of each chapter, with objectives and questions. A CD-ROM entitled 'The Human Brain' (ISBN 3-540-14666-0) has been produced to accompany this text, and can be purchased either separately or together with the book (ISBN 3-540-63778-8).

SOFSEM 2002: Theory and Practice of Informatics
SOFSEM 2002: Theory and Practice of Informatics

Author: William I. Grosky

Publisher: Springer

Published: 2003-07-01

Total Pages: 298

ISBN-13: 3540361375

DOWNLOAD EBOOK

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.

Digital Libraries in Computer Science: The MeDoc Approach
Digital Libraries in Computer Science: The MeDoc Approach

Author: Andreas Barth

Publisher: Springer

Published: 2006-07-28

Total Pages: 245

ISBN-13: 354069790X

DOWNLOAD EBOOK

This book coherently documents the results and experiences of a major digital library pilot effort, the MeDoc project (Multimedia Electronic Documents). This two-year project was initiated by the German Informatics Society (GI) and involved authors, publishers, librarians, and computer science departments. The prototype distributed digital library system developed during the initiative was operated in a nationwide trial for several months. The book presents the technical and operational results achieved during the project as well as input from foreign digital library activities. Besides professionals active in the area of digital library research and design, this book addresses librarians and others engaged in scientific publishing.

Intelligent Agents IV: Agent Theories, Architectures, and Languages
Intelligent Agents IV: Agent Theories, Architectures, and Languages

Author: Munindar P. Singh

Publisher: Springer Science & Business Media

Published: 1998-02-18

Total Pages: 376

ISBN-13: 9783540641629

DOWNLOAD EBOOK

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.

Advances in Cryptology - EUROCRYPT '98
Advances in Cryptology - EUROCRYPT '98

Author: Kaisa Nyberg

Publisher: Springer Science & Business Media

Published: 1998-05-13

Total Pages: 628

ISBN-13: 9783540645184

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998. The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric systems, public key cryptosystems, multi-party computation, digital signatures, Boolean functions, combinatorial design and analysis, elliptic curve systems, and electronic commerce and payment.

STACS 98
STACS 98

Author: Michel Morvan

Publisher: Springer Science & Business Media

Published: 1998-02-18

Total Pages: 652

ISBN-13: 9783540642305

DOWNLOAD EBOOK

This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998. The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.