Types for Proofs and Programs

Policy Challenges and Political Responses

Open and Distance Education in Australia, Europe and the Americas

Advances in Turbulence IV

Statistical Inference in Random Coefficient Regression Models

Automated Deduction - CADE-11

Peer-Led Team Learning: Evaluation, Dissemination, and Institutionalization of a College Level Initi

Leprosy in Colonial South India

Handbook of Oral Anticoagulation

Unities and Diversities in Chinese Religion

Reading & Math Jumbo Workbook: Grade PreK

Before Military Intervention

Simulation von Kraftwerken und wrmetechnischen Anlagen

Information Security and Privacy

bungsbuch Mathematik fr Fachschule Technik und Berufskolleg

The Common Information Model CIM

Das Mediensystem der Bundesrepublik Deutschland

Models for Research and Understanding

Water Resources in Arid Lands: Management and Sustainability

Computational Aspects of Model Choice

Challenges and Opportunities in Qualitative Research

Stem Cell Microenvironments and Beyond

Coordination and Communication Using Signs

Unternehmensanalyse mit Fhrungsprozessen

Education for Life

Security and Privacy in Federated Learning

Emergent Computation

Ultrasound Diagnosis of Digestive Diseases

Quantum Dynamics of Submicron Structures

My Books Summer Grades 9-12 Literary Elements - Classroom Set

Moral Reasoning at Work

Aufgaben und Lsungen zur Schaltungsdarstellung und Simulation elektromechanischer Systeme

Das Telephon und sein Werden

Baseline of Russian Arctic Laws

The Foundations of the Chinese Planned Economy

Verification and Validation of Complex Systems: Human Factors Issues

The United States and the Nuclear Dimension of European Integration

Network and Parallel Computing

The Last Mapmaker

Multilevel Optimization: Algorithms and Applications

Improving a Countrys Education