Product Description: This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Unconventional Computation, UC 2010, held in Tokyo, Japan, in June 2010. The 15 revised full papers presented together with 4 extended abstracts of invited talks, and 8 abstracts of posters were carefully reviewed and selected from numerous submissions...read more

Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions...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.

Product Description: This book constitutes the refereed proceedings of the 5th International Conference on Unconventional Computation, UC 2006, held in York, UK, in September 2006. The 17 revised full papers presented together with four invited full papers were carefully reviewed and selected for inclusion in the book...read more

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Unconventional Computation, UC 2005, held in Sevilla, Spain in September 2005. The conference formerly was named Unconventional Models of Computation (UMC)...read more

Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions...read more

Product Description: The book presents in a mathematical clear way the fundamentals of algorithmic information theory and a few selected applications. This 2nd edition presents new and important results obtained in recent years: the characterization of computable enumerable random reals, the construction of an Omega Number for which ZFC cannot determine any digits, and the first successful attempt to compute the exact values of 64 bits of a specific Omega Number...read more (view table of contents, read Amazon.com's description)

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: The multiset, as a set with multiplicities associated with its elements in the form of natural numbers, is a notation which has appeared again and again in various areas of mathematics and computer science. As a data structure, multisets stand in-between strings/lists, where a linear ordering of symbols/items is present, and sets, where no ordering and no multiplicity is considered...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: This book contains papers presented at the 2nd International Conference on Unconventional Models of Computation (UMCK'2K), which was held at Solvay Institutes, Brussels, Belgium, in December 2000. Computers as we know them may be getting better and cheaper, and doing more for us, but they are still unable to cope with many tasks of practical interest...read more (view table of contents, read Amazon.com's description)

Product Description: The finite-infinite interplay is central in the human thinking, from ancient philosophers and mathematicians (Zenon, Pythagoras), to modern mathematics (Cantor, Hilbert) and computer science (Turing, Goedel). Recent developments in mathematics and computer science suggest radically new answers to classical questions such as: Does infinity exist? Where does infinity come from? How can we reconcile the finiteness of the human brain with the infinity of ideas it produces? Well-known authors from around the world, many of them architects of the mathematics and computer science for the new century, contribute to the volume...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: This book covers recent research into unconventional methods of computing for disciplines in computer science, mathematics, biology, physics and philosophy. 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)