"Jumpstart to Digital Procurement: Pushing the Value Envelope in a New Age" von Daniel Weise ist ein Leitfaden, der sich mit der digitalen Transformation im Beschaffungswesen beschäftigt. Das Buch bietet einen umfassenden Überblick...

"Grete Hermann - Between Physics and Philosophy" von Guido Bacciagaluppi ist eine wissenschaftliche Untersuchung über das Leben und Werk der deutschen Philosophin und Mathematikerin Grete Hermann. Das Buch beleuchtet Hermanns bedeutende...

"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das...

"Leibniz und die moderne Naturwissenschaft" von Jürgen Jost untersucht die Relevanz der Gedanken von Gottfried Wilhelm Leibniz für die moderne Naturwissenschaft. Das Buch beleuchtet, wie Leibniz' philosophische Ansätze und mathematische...

Das Buch "Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99" ist ein Sammelband der Konferenzbeiträge, die auf der 12. Internationalen Konferenz über Theorembeweisen in höheren Ordnungssprachen präsentiert...

"Als die Welt still stand: Galileo Galilei - verraten, verkannt, verehrt" von K. Hartmann-Butt ist eine biografische Darstellung des Lebens und Wirkens von Galileo Galilei. Das Buch beleuchtet die faszinierende Reise des berühmten...

"Evolutionary Algorithms in Engineering Applications" von Zbigniew Michalewicz und seinen Mitautoren ist ein umfassendes Werk, das sich mit der Anwendung evolutionärer Algorithmen zur Lösung komplexer Ingenieurprobleme beschäftigt. Das...

Das Buch "Naturheilverfahren in der Urologie" von Angelika Sökeland bietet einen umfassenden Überblick über verschiedene naturheilkundliche Ansätze zur Unterstützung und Behandlung urologischer Erkrankungen. Es deckt klassische...

"Building Models for Marketing Decisions" von A. Naert und Philippe ist ein umfassendes Werk, das sich mit der Anwendung quantitativer Modelle im Marketing beschäftigt. Das Buch gehört zur International Series in Quantitative Marketing...

"Logic Programming and Databases" von Letizia Tanca ist ein umfassendes Werk, das die Schnittstelle zwischen Logikprogrammierung und Datenbanktechnologien untersucht. Das Buch gehört zur Reihe "Surveys in Computer Science" und bietet...

"Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung" von Peter Scholz ist ein umfassendes Werk, das sich mit den wesentlichen Aspekten der Softwareentwicklung für eingebettete Systeme befasst. Das...

"Semiconductor Lasers: Stability, Instability and Chaos" von Junji Ohtsubo ist ein umfassendes Werk, das sich mit den dynamischen Eigenschaften von Halbleiterlasern beschäftigt. Das Buch bietet eine detaillierte Analyse der...