Verifying Concurrent Processes Using Temporal Logic

Mohamed Fekini and the Fight to Free Libya

Digital Libraries: Data, Information, and Knowledge for Digital Lives

Web Designer's Reference

Adaptive Finite Element Methods for Differential Equations

Seventeenth Symposium on Biotechnology for Fuels and Chemicals

Myocardial Infarction and Psychosocial Risks

Ramanujan's Lost Notebook

Tragwerke 1

Technische Akustik

Dendritic Cell Protocols

The Humanities "Crisis" and the Future of Literary Studies

A Practical Guide to Environmental Biotechnology

Multiple Sequence Alignments

Photochemistry

Chaotic Transport in Dynamical Systems

Marketing und Innovation in disruptiven Zeiten

Sustainable Internet

6GN for Future Wireless Networks

Die Bildungsfrage gegenber der hheren Schule

Krankenhauslogistik

Scholastic Reader! Level 1: A Bug, a Bear, and a Boy

Lift the Flap Look Who's Talking

Salt and Civilization

Handbuch Migrationsarbeit

Paradigm Shift for Future Tennis

Global Climate Change, Population Displacement, and Public Health

Handbuch Versepik

Radical Listening: Reading and Writing Conferences to Reach All Students (30-copy pack)

Handbook of Biobehavioral Approaches to Self-Regulation

Germanisches Erbe in Deutscher Tonkunst

Correlation and Localization

Intellectual Property Rights

The Global Resurgence of Religion and the Transformation of International Relations

West Germany and the Portuguese Dictatorship, 19681974

Deformation Processes in TRIP/TWIP Steels

Complex Sciences

Kritisch-Humanistische Erziehung

Computergesttzter organisationaler Wissenstransfer und Wissensgenerierung

Sustainability and Optimality of Public Debt

Fractional Behaviours Modelling