Zeitschrift für Sexualforschung Herausgegeben von Wolfgang Berner, Peer Briken, Arne Dekker, Silja Matthiesen, Hertha Richter-Appelt, Bernhard Strauß Gesamtinhaltsverzeichnis

Source URL: www.thieme.de

Swiss Style Relief Shading Methodology: Knowledge base for further development and application in digital cartography Stefan Räber, Bernhard Jenny, Lorenz Hurni Institute of Cartography, ETH Zurich Wolfgang-Pauli-Strass

Source URL: cartography.oregonstate.edu

• Topography
• Cartographic relief depiction
• Visualization
• Eduard Imhof
• Hachure map
• Topological map
• Shading
• Map
• Terrain
• Physical geography
• Cartography
• Geography

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability Reinhard Tartler1 , Anil Kurmus2 , Bernhard Valentin Rothberg1 , Andreas Ruprecht1 , Daniela Dorneanu2 , R¨udiger Kapitza3 , Wolfgang Schr¨od

Source URL: www4.cs.fau.de

• Linux kernel
• Cross-platform software
• Linux
• Kernel
• Menuconfig
• Loadable kernel module
• Ring
• Operating system
• NetBSD
• Computer architecture
• Software
• System software

Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3

Source URL: www.cse.chalmers.se

• Formal methods
• Automated theorem proving
• Logic in computer science
• KeY
• Java Modeling Language
• Proof assistant
• Formal verification
• Java
• Logic programming
• Theoretical computer science
• Computing
• Applied mathematics

Wolfgang Tietze · Fabienne Becker-Stoll · Joachim Bensel · Andrea G. Eckhardt Gabriele Haug-Schnabel · Bernhard Kalicki · Heidi Keller · Birgit Leyendecker (Hrsg.)

Source URL: geb-k.de

Wolfgang Tietze · Fabienne Becker-Stoll · Joachim Bensel · Andrea G. Eckhardt Gabriele Haug-Schnabel · Bernhard Kalicki · Heidi Keller · Birgit Leyendecker (Hrsg.)

Source URL: www.nubbek.de