Stacs 92

Download or read book STACS 92 written by Alain Finkel and published by Springer Science & Business Media. This book was released on 1992-02-04 with total page 644 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.

Download or read book STACS 94 written by Patrice Enjalbert and published by Springer Science & Business Media. This book was released on 1994-02-09 with total page 802 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.

Download or read book STACS 93 written by Patrice Enjalbert and published by Springer Science & Business Media. This book was released on 1993-02-19 with total page 744 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.

Download or read book LATIN '92 written by Imre Simon and published by Springer Science & Business Media. This book was released on 1992-03-11 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.

Download or read book Database Theory - ICDT '92 written by Joachim Biskup and published by Springer Science & Business Media. This book was released on 1992-10-05 with total page 466 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers in this volume were presented at the International Conference on Database Theory, held in Berlin, Germany, October 14-16, 1992. This conference initiated the merger of two series of conferences on theoretical aspects of databases that were formed in parallel by different scientific communities in Europe. The first series was known as the International Conference on Database Theory and the second as the Symposium on Mathematical Fundamentals of Database Systems. In the future, ICDT will be organized every two years, alternating with the more practically oriented series of conferences on Extending Database Technology (EDBT). The volume contains 3 invited lectures and 26 contributed papers selected from a total of 107 submissions. The papers are organized into sections on constraints and decomposition, query languages, updates and active databases, concurrency control and recovery, knowledge bases, datalog complexity and optimization, object orientation, information capacity and security, and data structures and algorithms. Two of the invited papers survey research into theoretical database issues done in Eastern Europe during the past decade.

Download or read book CONCUR '92 written by Walter R. Cleaveland and published by Springer Science & Business Media. This book was released on 1992-08-12 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

Download or read book Entity-Relationship Approach - ER '92 written by Günther Pernul and published by Springer Science & Business Media. This book was released on 1992-10-05 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume comprises the proceedings of the Eleventh International Conference on the Entity-Relationship Approach held in Karlsruhe, Germany, October 7-9, 1992. It contains the full versions of all the 22 accepted papers selected from in total 64 submissions; in addition, the two invited talks by Scheer and by Tsichritzis and others are represented asfull papers and the two other invited speakers contribute extended abstracts. All the contributions describe original research related to theoretical or practical aspects of the Entity-Relationship Approach,reflecting the trend of recent years in a wide range of database research activities. In particular, the topics database design aspects, object-orientation, integrity constraints, query languages, knowledge-based techniques, and development of new applications are addressed.