Author: Frantisek Plasil
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
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 '97: Theory and Practice of Informatics
Author: Frantisek Plasil
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
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 '97
Author: Frantisek Plasil
Publisher:
ISBN: 9783662171547
Category :
Languages : en
Pages : 596
Book Description
Publisher:
ISBN: 9783662171547
Category :
Languages : en
Pages : 596
Book Description
Foundations of Software Technology and Theoretical Computer Science
Author: V. Arvind
Publisher: Springer
ISBN: 3540493824
Category : Computers
Languages : en
Pages : 405
Book Description
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.
Publisher: Springer
ISBN: 3540493824
Category : Computers
Languages : en
Pages : 405
Book Description
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.
Lectures on Proof Verification and Approximation Algorithms
Author: Ernst W. Mayr
Publisher: Springer
ISBN: 3540697012
Category : Computers
Languages : en
Pages : 351
Book Description
During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like tutorial is a coherent and essentially self-contained presentation of the enormous recent progress facilitated by the interplay between the theory of probabilistically checkable proofs and aproximation algorithms. The basic concepts, methods, and results are presented in a unified way to provide a smooth introduction for newcomers. These lectures are particularly useful for advanced courses or reading groups on the topic.
Publisher: Springer
ISBN: 3540697012
Category : Computers
Languages : en
Pages : 351
Book Description
During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like tutorial is a coherent and essentially self-contained presentation of the enormous recent progress facilitated by the interplay between the theory of probabilistically checkable proofs and aproximation algorithms. The basic concepts, methods, and results are presented in a unified way to provide a smooth introduction for newcomers. These lectures are particularly useful for advanced courses or reading groups on the topic.
LATIN'98: Theoretical Informatics
Author: Claudio L. Lucchesi
Publisher: Springer Science & Business Media
ISBN: 9783540642756
Category : Computers
Languages : en
Pages : 408
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540642756
Category : Computers
Languages : en
Pages : 408
Book Description
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
Author: Opher Etzion
Publisher: Springer Science & Business Media
ISBN: 9783540645191
Category : Computers
Languages : en
Pages : 456
Book Description
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).
Publisher: Springer Science & Business Media
ISBN: 9783540645191
Category : Computers
Languages : en
Pages : 456
Book Description
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).
Foundations of Software Technology and Theoretical Computer Science
Author: S. Ramesh
Publisher: Springer Science & Business Media
ISBN: 9783540638766
Category : Computers
Languages : en
Pages : 364
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
Publisher: Springer Science & Business Media
ISBN: 9783540638766
Category : Computers
Languages : en
Pages : 364
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
Conceptual Modeling - ER '97
Author: David W. Embley
Publisher: Springer Science & Business Media
ISBN: 9783540636991
Category : Business & Economics
Languages : en
Pages : 504
Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Modeling, ER '97, held in Los Angeles, California, USA, in November 1997. The 32 revised full papers presented in the book were carefully selected from a total of 93 submissions. Also included are two full invited papers.The volume is divided in topical sections on automated design, temporal modeling, languages, activity modeling, applied modeling, object-oriented modeling, theoretical issues in modeling, experience and applications, distributed systems, integration, and tools.
Publisher: Springer Science & Business Media
ISBN: 9783540636991
Category : Business & Economics
Languages : en
Pages : 504
Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Modeling, ER '97, held in Los Angeles, California, USA, in November 1997. The 32 revised full papers presented in the book were carefully selected from a total of 93 submissions. Also included are two full invited papers.The volume is divided in topical sections on automated design, temporal modeling, languages, activity modeling, applied modeling, object-oriented modeling, theoretical issues in modeling, experience and applications, distributed systems, integration, and tools.
STACS 98
Author: Michel Morvan
Publisher: Springer Science & Business Media
ISBN: 9783540642305
Category : Computers
Languages : en
Pages : 652
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540642305
Category : Computers
Languages : en
Pages : 652
Book Description
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.
Graph Drawing
Author: Giuseppe DiBattista
Publisher: Springer Science & Business Media
ISBN: 9783540639381
Category : Computers
Languages : en
Pages : 468
Book Description
This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions. The topics covered include planarity, crossing theory, three dimensional representations, orthogonal representations, clustering and labeling problems, packing problems, general methodologies, and systems and applications.
Publisher: Springer Science & Business Media
ISBN: 9783540639381
Category : Computers
Languages : en
Pages : 468
Book Description
This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions. The topics covered include planarity, crossing theory, three dimensional representations, orthogonal representations, clustering and labeling problems, packing problems, general methodologies, and systems and applications.