Bøger udgivet af Lehmanns Media GmbH

The LATEX typesetting System remains a popular choice for typesetting a wide variety of documents, from papers, journal articles, and presentations, to books-especially those that include technical text or demand high-quality composition. This book is the most comprehensive guide to making illustrations in LATEX documents, and it has been completely revised and expanded to include the latest developments in LATEX graphics. The authors describe the most widely used packages and provide hundreds of solutions to the most commonly encountered LATEX illustration problems.This book will show you how to . Incorporate graphics files into a LATEX document. Program technical diagrams using several languages, including METAPOST, PSTricks, and XY-pic. Use color in your LATEX projects, including presentations. Create special-purpose graphics, such as high-quality music scores and games diagrams. Produce complex graphics for a variety of scientific and engineering disciplines New to this edition:. Updated and expanded coverage of the PSTricks and METAPOST languages. Detailed explanations of major new packages for graphing and 3-D figures. Comprehensive description of the xcolor package. Making presentations with the beamer dass. The latest versions of gaming and scientific packagesThere are more than 1100 fully tested examples that illustrate the text and solve graphical problems and tasks-all ready to run!All the packages and examples featured in this book are freely downloadable from the Comprehensive TEX Archive Network (CTAN). The LATEX Graphics Companion, Second Edition, is more than ever an indispensable reference for anyonewishing to incorporate graphics into LATEX. As befits the subject, the book has been typeset with LATEX in a two-color design.

Übersichtlich, schnörkellos, praxisrelevant und handlich:Ideal zur Vorbereitung eines Auslandsaufenthalts und als guter Begleiter vor Ort. Dank des handlichen Formats immer dann zur Stelle, wenn es gerade gebraucht wird: In der Kitteltasche während der Arbeit am Patienten und im Krankenhaus.Das Buch gliedert sich in drei Teile und wird durch ein praktisches Abkürzungsverzeichnis, ein Kapitel mit allgemeinen Begriffen und einer Aufstellung der Besonderheiten in amerikanischen und englischen Krankenhäusern ergänzt.Der erste, inhaltlich geordnete Teil erlaubt eine gezielte Vorbereitung auf den Auslandsaufenthalt. Neben wichtigen Stichwörtern aus den verschiedenen Bereichen findet sich hier die Erhebung der Anamnese und die Dokumentation der körperlichen Untersuchung. Im zweiten Teil finden Sie verschiedene Bewerbungsschreiben und einen Lebenslauf, wie Sie ihn zur Bewerbung für Praktika, Famulaturen oder das praktische Jahr verwenden können. Der dritte, alphabetisch geordnete Teil (Englisch-Deutsch und Deutsch-Englisch) dient als Nachschlagewerk.Mit insgesamt mehr als 2.500 Stichwörtern!

The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a "solution", in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on "physical" principles are considered.