David Basin's Documents

David Basin's Documents

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Read more
Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003

Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003
Read more
New Trends in Optimal Filtering and Control for Polynomial and Time-Delay Systems

New Trends in Optimal Filtering and Control for Polynomial and Time-Delay Systems
Read more
Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach
Read more
Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach
Read more
Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach
Read more
Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning
Read more
The Adventures of Dannen Lifehold 1 Breaking Free

The Adventures of Dannen Lifehold 1 Breaking Free
Read more
Mentoring Executives and Directors

Mentoring Executives and Directors
Read more
Geographic Information Analysis

Geographic Information Analysis
Read more
Handbook of Thromboprophylaxis, 2nd Edition

Handbook of Thromboprophylaxis, 2nd Edition
Read more
2d Artwork and 3d Modelling for Game Artists

2d Artwork and 3d Modelling for Game Artists
Read more
Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)

Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)
Read more
The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet

The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet
Read more
The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)

The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)
Read more
The Limits to Capital

The Limits to Capital
Read more
The Tribal Living Book: 150 Things to Do and Make from Traditional Cultures

The Tribal Living Book: 150 Things to Do and Make from Traditional Cultures
Read more
Switching to the Mac: The Missing Manual, Snow Leopard Edition

Switching to the Mac: The Missing Manual, Snow Leopard Edition
Read more
Research and Trends in Data Mining Technologies and Applications

Research and Trends in Data Mining Technologies and Applications
Read more
Physics modelling for game programming

Physics modelling for game programming
Read more
Mentoring Executives and Directors

Mentoring Executives and Directors
Read more
The Scandinavian Baltic Crusades 1100-1500 (Men-at-Arms)

The Scandinavian Baltic Crusades 1100-1500 (Men-at-Arms)
Read more
Encyclopedia of Mobile Computing and Commerce

Encyclopedia of Mobile Computing and Commerce
Read more
ground penetrating radar

ground penetrating radar
Read more
Techniques for Coaching and Mentoring

Techniques for Coaching and Mentoring
Read more
Understanding Assessment (Teaching About Learning)

Understanding Assessment (Teaching About Learning)
Read more
Exploring the Urban Past: Essays in Urban History by H. J. Dyos

Exploring the Urban Past: Essays in Urban History by H. J. Dyos
Read more
Medieval Scandinavian Armies (2)

Medieval Scandinavian Armies (2)
Read more
Dictionary of Human Rights, A

Dictionary of Human Rights, A
Read more
Guardians of Power: The Myth of the Liberal Media

Guardians of Power: The Myth of the Liberal Media
Read more