Author: Gheorghe PaeaunPublisher: World Scientific
ISBN: 9812387838
Category : Computers
Languages : en
Pages : 1319
Book Description
contents: vol 1 : Algorithms; Computational Complexity; Distributed Computing; Natural Computing.
Current Trends in Theoretical Computer Science
Author: Gheorghe PaeaunPublisher: World Scientific
ISBN: 9812387838
Category : Computers
Languages : en
Pages : 1319
Book Description
contents: vol 1 : Algorithms; Computational Complexity; Distributed Computing; Natural Computing.
Current Trends in Theoretical Computer Science
Author: Gheorghe P?unPublisher: World Scientific
ISBN: 9812562494
Category : Computers
Languages : en
Pages : 1319
Book Description
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000OCo2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, OC Algorithms and ComplexityOCO and OC Formal Models and SemanticsOCO, reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science. Contents: Vol 1: Algorithms; Computational Complexity; Distributed Computing; Natural Computing; Vol 2: Formal Specification; Logic in Computer Science; Concurrency; Formal Language Theory. Readership: Upper level undergraduates, graduate students and researchers in theoretical computer science and biocomputing."
Current Trends in Theoretical Computer Science
Author: Results and Trends in Theoretical Computer Science
Author: Juliani KarhumäkiPublisher: Springer Science & Business Media
ISBN: 9783540581314
Category : Computers
Languages : en
Pages : 452
Book Description
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published.
Current Trends In Theoretical Computer Science
Author: G PaunPublisher: World Scientific
ISBN: 9814492051
Category : Computers
Languages : en
Pages : 880
Book Description
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label “computer science”. The theoretical foundations of such disciplines have become known as theoretical computer science. This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science in the period 1995–2000. The columnists themselves selected the material they wanted for the book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science. Contents: Computational Complexity (E Allender et al.)Formal Specification (H Ehrig et al.)Login in Computer Science (Y Gurevich et al.)Concurrency (M Nielsen et al.)Natural Computing (G Rozenberg et al.)Formal Language Theory (A Salomaa et al.) Readership: Researchers, graduate students and senior undergraduates in computer science. Keywords:Computational Complexity;Intractable Problems;Formal Specification;Logic in Computer Science;Proof Theory;Natural Computing;DNA Computing;Quantum Computing;Formal Languages;Automata;Theoretical Computer Science;Algebra;Automata Theory;Complexity;Concurrency;Formal Language Theory;Graph Grammar;Logic;Membrane Computing;Semantics;Software
Current Trends in Theoretical Computer Science
Author: Gheorghe P?unPublisher: World Scientific
ISBN: 9789812389664
Category : Computers
Languages : en
Pages : 680
Book Description
contents: vol 1 : Algorithms; Computational Complexity; Distributed Computing; Natural Computing.
Current Trends in Theoretical Computer Science: Formal models and semantics
Author: Current Trends in Theoretical Computer Science: Formal models and semantics
Author: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
Author: V. ArvindPublisher: Springer Science & Business Media
ISBN: 3540770496
Category : Computers
Languages : en
Pages : 571
Book Description
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 135 submissions. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
SOFSEM 2012: Theory and Practice of Computer Science
Author: Maria BielikovaPublisher: Springer
ISBN: 3642276601
Category : Computers
Languages : en
Pages : 674
Book Description
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.