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.
Warum das Sein so unerträglich sein kann
In seinem Buch zeigt er auf, wie unser unbewusstes Denken unser Leben beeinflusst und dafür sorgt, dass wir unsere Dramen und Probleme im Alltag selbst
Opera
None
Classical and New Paradigms of Computation and their Complexity Hierarchies
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.
Glossary
None
Das Haus in den Dünen
Wilhelmshaven, August 2000. Das Wangerland kommt nicht zur Ruhe. Erst vor einigen Wochen stand die Kriminalpolizei mächtig unter Druck, da es ihr zunächst nicht gelingen wollte, den sog. "Wangerlandmörder" zu fassen. Nach dessen Festnahme war Kommissar Trevisan erst einmal urlaubsreif und flog nach Griechenland, doch kaum ist er zurück, wartet schon der nächste Serientäter, dem die Presse bereits den Namen "Feuerteufel von Wangerland" verpasst hat. Immer wieder brennen abgelegene Gebäude bis auf ihre Grundmauern nieder und nie hinterlässt der Täter eine Spur. Lediglich ein Bibelzitat finden die Ermittler an den Tatorten. Nun soll also Trevisan mit seinem Team den Feuerteufel jagen, ...
Combinatorial Scientific Computing
Combinatorial Scientific Computing explores the latest research on creating algorithms and software tools to solve key combinatorial problems on large-scale high-performance computing architectures. It includes contributions from international researchers who are pioneers in designing software and applications for high-performance computing systems. The book offers a state-of-the-art overview of the latest research, tool development, and applications. It focuses on load balancing and parallelization on high-performance computers, large-scale optimization, algorithmic differentiation of numerical simulation code, sparse matrix software tools, and combinatorial challenges and applications in l...
Global Risk-Based Management of Chemical Additives II
Chemical additives are used to enhance the properties of many industrial products. Since their release into the environment is a potential risk for man and nature, their fate and behavior have been investigated in the framework of the European Union-funded project RISKCYCLE. The results are presented in two volumes, Global Risk-Based Management of Chemical Additives I: Production, Usage and Environmental Occurrence and Global Risk-Based Management of Chemical Additives II: Risk-Based Assessment and Management Strategies. This book is the second of the two volumes and features two main parts. In the first part, experts in the field discuss different models related to the assessment of the potential risks posed by chemical additives and analyze their benefits and drawbacks. In the second part, specific case studies in which the models have been applied are presented and the reliability of the models is evaluated. This volume is an invaluable source of information for scientists and governmental agencies dealing with the risk assessment of chemicals on a global scale.
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.
