Product Description: Computation is ubiquitous: modern life would be inconceivable without it. Written as a series of conversations with influential computer scientists, mathematicians and physicists, this book provides access to the inner thinking of those who have made essential contributions to the development of computing and its applications...read more

Product Description: Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010, the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS...read more

Product Description: The book is a collection of papers written by a selection of eminent authors from around the world in honour of Gregory Chaitin s 60th birthday. This is a unique volume including technical contributions, philosophical papers and essays.

The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous growth in this area. . . . The present book by Calude fits very well in our series. Much original research is presented. . . making the approach richer in consequences than the classical one. Remarkably, however, the text is so self-contained and coherent that the book may also serve as a textbook. All proofs are given in the book and, thus, it is not necessary to consult other sources for classroom instruction. " The vigorous growth in the study of algorithmic information theory has continued during the past few years, which is clearly visible in the present second edition. Many new results, examples, exercises and open prob­ lems have been added. The additions include two entirely new chapters: "Computably Enumerable Random Reals" and "Randomness and Incom­ pleteness". The really comprehensive new bibliography makes the book very valuable for a researcher. The new results about the characterization of computably enumerable random reals, as well as the fascinating Omega Numbers, should contribute much to the value of the book as a textbook. The author has been directly involved in these results that have appeared in the prestigious journals Nature, New Scientist and Pour la Science. (view table of contents)

Product Description: This book constitutes the refereed proceedings of the Third International Conference on Unconventional Models of Computation, UMC 2002, held in Kobe, Japan in October 2002.The 18 revised full papers presented together with eight invited full papers were carefully reviewed and selected from 36 submissions...read more

Product Description: At the turning of the millennium, a switch in computing technology is forecasted and looked for. Two main directions of research, both based on quite unconventional ideas are most promising - quantum computing and molecular computing...read more

Product Description: This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001.The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing...read more (view table of contents, read Amazon.com's description)

Product Description: At the turning of the millennium, a switch in computing technology is forecasted and looked for. Two main directions of research, both based on quite unconventional ideas are most promising - quantum computing and molecular computing...read more (view table of contents, read Amazon.com's description)

Product Description: The Second International Conference on Unconventional Models of Compu UMC'2K, organized by the Centre for Discrete Mathematics and The tation, oretical Computer Science, the International Solvay Institutes for Physics and Chemistry and the Vrije Universiteit Brussel Theoretical Physics Division was held at Solvay Institutes from 13 to 16 December, 2000...read more (view table of contents, read Amazon.com's description)

Product Description: The finite - infinite interplay is central in human thinking, from ancient philosophers and mathematicians (Zeno, Pythagoras), to modern mathe­ matics (Cantor, Hilbert) and computer science (Turing, Godel). Recent developments in mathematics and computer science suggest a) radically new answers to classical questions (e...read more (view table of contents, read Amazon.com's description)

Product Description: Theory and theoreticians have played a major role in computer science. Many insights into the nature of efficient computations were gained and theory was crucial for some of the most celebrated engineering triumphs of computer science (e...read more (view table of contents, read Amazon.com's description)

Product Description: Covering recent research into unconventional methods of computing for disciplines in computer science, mathematics, biology, physics and philosophy, the subjects include: nonconventional computational methods, DNA computation, quantum computation, and beyong Turing computability; new methods of discrete computation; theoretical and conceptual new computational paradigms; practical knowledge on new computing technologies...read more (view table of contents, read Amazon.com's description)

Product Description: This volume contains the proceedings of the 2nd International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS9) and the 5th Australasian Theory Symposium (CATS9). Both were held as part of the Australasian Computer Science Week (ACSW9) in Auckland, New Zealand, January 1999...read more (view table of contents, read Amazon.com's description)

Product Description: DMTCS'96 is the first of a planned series of conferences organized by the Centre for Discrete Mathematics and Theoretical Computer Science, and is the first joint venture of the Computer Science and Mathematics departments of the University of Auckland and Waikato, New Zealand...read more (view table of contents, read Amazon.com's description)