Sökt på: Sökresultat
totalt 29 träffar
Mathesis Universalis, Computability and Proof
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be …
Hydrogen Bond Research
Seven review articles and original papers provide a representative overview of the research work done in hydrogen bond research at Austrian universities. The topics covered by the …
Investment Appraisal
This book provides an introduction to investment appraisal and presents a range of methods and models, some of which are not widely known, or at least not well covered by other …
Karl Neubacher
Karl Neubacher war hauptsächlich Grafikdesigner. Seine Plakate, die künstlerische Konzepte als Basis hatten, sind legendär. Durch das Miteinander von Gebrauchskunst und Formen der …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of …
Quasispecies: From Theory to Experimental Systems
This volume brings together recent developments in quasispecies theory extended to variable environments and practical applications in elucidating viral dynamics and treatment …
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Sepsis und MODS
Die 5. Auflage des deutschsprachigen Grundlagenwerkes zum Thema "Sepsis und MODS" ist fachlich und didaktisch sowie im Hinblick auf noch größere Praxisrelevanz komplett …
Holsteinische Schweiz
Eine Bilderreise durch den Naturpark Holsteinische Schweiz, entlang von siebzehn Seen bis hin zur Kieler Förde, der einst als heilig verehrten Schwentine (slawisch "Svetana") …
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
The Science of Nature in the Seventeenth Century
One of the hallmarks of the modern world has been the stunning rise of the natural sciences. The exponential expansion of scientific knowledge and the accompanying technology that …
Wissenschaft Und Kultur in Bibliotheken, Museen Und Archiven
The Festschrift for the 65th birthday of the president of the Stiftung Preussischer Kulturbesitz (Foundation for Prussian Cultural Heritage) contains more than 60 contributions by …