Søkt på: Bøker av Wolfgang Hahn
totalt 38 treff
Praktische Methoden des Erfindens
Patenschriften sind durch ihre juristische Prägung für Techniker teilweise schwer verständlich. Dem Leser wird gezeigt wie er Patente lesen sollte, um sie besser zu verstehen. Er …
Theory and Application of Liapunov's Direct Method
Bioconductor Case Studies
Bioconductor software has become a standard tool for the analysis and comprehension of data from high-throughput genomics experiments. Its application spans a broad field of …
Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades …
Werkstofftechnik
Theorie und Anwendung der direkten Methode von Ljapunov
Die grundlegende Arbeit von A. M. LJAPUNOV (1857 bis 1918) über die Stabilität der Bewegung, die 1892 in russischer Sprache, 1907 in französischer Übersetzung! erschien, hat …
The Influence of Antibiotics on the Host-Parasite Relationship
When discussing the drug, the bug, and the host in the past, emphasis was laid mainly upon the interaction between antibiotics and bacteria or the reaction of the host to the …
Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a …
Produktionstechnische Praxis
Work in chemical production requires that technicians, workers and trainees are fully informed on all aspects of industrial processes. This book treats the fundamentals of chemical …
Werterhaltung von Software
Die effiziente Gestaltung der Software-Wartung ist eine Voraussetzung fur die internationale Wettbewerbsfahigkeit von Softwareunternehmen. Methoden des Software-Reengineering bie …
Bioconductor Case Studies
Bioconductor software has become a standard tool for the analysis and comprehension of data from high-throughput genomics experiments. Its application spans a broad field of …