Jim Davies - Böcker

ITIL Foundation All-in-One Exam Guide

European Consumer Citizen in Law and Policy

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make U

Imagination

The Science of Your Mind's Greatest Power

Illustrating Armageddon

Fortunino Matania and the First World War

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Integrated Formal Methods

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

Developments in Services of General Interest

Developments in Services of General Interest