Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Kolmogorov's Heritage in Mathematics
In this book, several world experts present (one part of) the mathematical heritage of Kolmogorov. Each chapter treats one of his research themes or a subject invented as a consequence of his discoveries. The authors present his contributions, his methods, the perspectives he opened to us, and the way in which this research has evolved up to now. Coverage also includes examples of recent applications and a presentation of the modern prospects.
Automata, Languages and Programming
This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.
Developments in Language Theory
This book constitutes the proceedings of the 13th International Conference, DLT 2009, held in Stuttgart, Germany from June 30 until July 3, 2009. The 35 papers presented together with 4 invited talks were carefully reviewed and selected from 70 submissions. The papers presented address topics on formal languages, automata theory, computability, complexity, logic, petri nets and related areas.
Unveiling Dynamics and Complexity
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.
Cellular Automata and Complex Systems
This book contains the courses given at the Fifth School on Complex Systems held at Santiago, Chile, from 9th .to 13th December 1996. At this school met researchers working on areas related with recent trends in Complex Systems, which include dynamical systems, cellular automata, symbolic dynamics, spatial systems, statistical physics and thermodynamics. Scientists working in these subjects come from several areas: pure and applied mathematics, physics, biology, computer science and electrical engineering. Each contribution is devoted to one of the above subjects. In most cases they are structured as surveys, presenting at the same time an original point of view about the topic and showing m...
Environmental Issues in Supply Chain Management
The aim of the book is to present the emerging environmental issues in organization and management of complex supply chains. The book includes set of solutions which show different stakeholders' viewpoints on sustainability. The scope of book takes into consideration how the emerging environmental regulation might be transformed into business practices. Therefore, the authors present the innovative approach to eco-friendly organization and coordination of logistics processes and supply chain configuration. A broad scope of practical solutions from different countries and industries is provided
Cellular Automata
Cellular automata can be viewed both as computational models and modelling systems of real processes. This volume emphasises the first aspect. In articles written by leading researchers, sophisticated massive parallel algorithms (firing squad, life, Fischer's primes recognition) are treated. Their computational power and the specific complexity classes they determine are surveyed, while some recent results in relation to chaos from a new dynamic systems point of view are also presented. Audience: This book will be of interest to specialists of theoretical computer science and the parallelism challenge.
Fields of Logic and Computation
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL ...
Sustainable Masonry
This book covers the impact of sustainable masonry on the environment, touting the many benefits of utilizing local and/or low embodied energy materials in the construction of sustainable buildings.
Developments in Language Theory
This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.
