Verification, Model Checking, and Abstract Interpretation

Advanced Metaheuristic Algorithms and Their Applications in Structural Optimization

Banana Fox #2: Banana Fox and the Book-Eating Robot (Hardcover)

Natural Language Processing for Social Media, Second Edition

Cache and Interconnect Architectures in Multiprocessors

Low-Cholesterol Cookbook For Dummies by Molly Siple

Implizite Logiken des pdagogischen Blickes

Reservoir Model Design

Productivity and Efficiency Analysis

Practicing Catholic

Power Quality in Microgrids: Issues, Challenges and Mitigation Techniques

Church After the Corona Pandemic

History of Industrial Gases

Harry Potter and the Cursed Child - Parts One & Two

Forensic Aspects of Pediatric Fractures

Der erweiterte Maskengenerator eines Software-Entwicklungs-Systems

Production of biodiesel using lipase encapsulated in -carrageenan

Quantum Theory of Magnetism

Klientelismus in der Politik Mexikos

Media and the Politics of Failure

Logistikorientiertes PPS-System

Spinal Narcotics

Performance Measurement und Management

Uncanny American Fiction

France, Germany and Britain

Feyerabend and Scientific Values

Advances in Smalltalk

ber das Vergessen lernen Alzheimer Demenz im Biologieunterricht

Alzheimers Disease

JIMD Reports, Volume 37

Representations of Reductive p-adic Groups

Projekte fhren

Das Ingenieurwissen: Physik

Body Sculpting with Silicone Implants

Globalization and Papua New Guinea: Ancient Wilderness, Paradise, Introduced Terror and Hell

Sigma Delta Modulators

Dialogue as a Collective Means of Design Conversation

Pro Access 2007

City Information Modelling

Computation and Big Data for Transport

Moosetache