Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Living and Dying in the Roman Republic
This volume deals with the American production "Spartacus" and the British-American-Italian co-production Rome. In the examination of the present, a turn to Greek or Roman antiquity can be observed again and again. To find there the roots of Western society for politics, economics or philosophy, or to derive comparative arguments for expansionist efforts or decline, is not just part of the rhetorical commonplace. So it is not surprising that the TV series format also takes up this period. Whereas in Rome the attempt is made to work through the historical guidelines in great detail, in Spartacus, apart from the rough sketch of the plot, one can speak of a far-reaching neglect of the historical situation. From a (media) ethical perspective, specific approaches to responsibility, the transmission of values, loyalty, education, self-discipline, and religion can be identified in the series, which can be interpreted as self-statements of the present or the producers.
Logic and Automata
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
Patterns and Processes of Speciation in Ancient Lakes
Ancient lakes are exceptional freshwater environments that have continued to exist for hundreds of thousands of years. They have long been recognized as centres of biodiversity and hotspots of evolution. During recent decades, speciation in ancient lakes has emerged as an important and exciting topic in evolutionary biology. The contributions in this volume deal with patterns and processes of biological diversification in three prominent ancient lake systems. Of these, the famous East African Great Lakes already have a strong tradition of evolutionary studies, but the two other systems have so far received much less attention. The exceptional biodiversity of the European sister lakes Ohrid a...
Automata, Logics, and Infinite Games
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games. The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
Adventures Between Lower Bounds and Higher Altitudes
This Festschrift volume is published in honor of Juraj Hromkovič on the occasion of his 60th birthday. Juraj Hromkovič is a leading expert in the areas of automata and complexity theory, algorithms for hard problems, and computer science education. The contributions in this volume reflect the breadth and impact of his work. The volume contains 35 full papers related to Juraj Hromkovič’s research. They deal with various aspects of the complexity of finite automata, the information content of online problems, stability of approximation algorithms, reoptimization algorithms, computer science education, and many other topics within the fields of algorithmics and complexity theory. Moreover, the volume contains a prologue and an epilogue of laudatios from several collaborators, colleagues, and friends.
The Law Advertiser
None
STACS 2005
This book constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS 2005, held in Stuttgart, Germany in February 2005. The 54 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 217 submissions. A broad variety of topics from theoretical computer science are addressed, in particular complexity theory, algorithmics, computational discrete mathematics, automata theory, combinatorial optimization and approximation, networking and graph theory, computational geometry, grammar systems and formal languages, etc.
Computer Science Logic
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.
