Michael Fisher - Böcker

Art of Scalability, The

Scalable Web Architecture, Processes, and Organizations for the Modern Enterprise

A Level Advancing Biology for OCR Year 1 and AS Student Book (OCR B)

A Level Biology for OCR A Revision Guide

A Level Advancing Biology for OCR B: Year 2

Introduction to Practical Formal Methods Using Temporal Logic

Travels of Dean Mahomet

An Eighteenth-Century Journey through India

Advances in Temporal Logic

Verifiable Autonomous Systems

Using Rational Agents to Provide Assurance about Decisions Made by Machines

To Kill or Not to Kill

Ornaments

Short History of the Mughal Empire

Digital Learning Strategies

How Do I Assign and Assess 21st Century Work?

Vocab Rehab

How Do I Teach Vocabulary Effectively With Limited Time?

Ditch the Daily Lesson Plan

How Do I Plan for Meaningful Student Learning?

Summer of Our Innocence

Summer of Our Innocence

South-Asian History of Britain

Four Centuries of Peoples from the Indian Sub-Continent

Guarding the Pugin Flame

Hacking Instructional Design

33 Extraordinary Ways to Create a Contemporary Curriculum

Logics in Artificial Intelligence

10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Foundations and Applications of Multi-Agent Systems

UKMAS Workshop 1996-2000, Selected Papers

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Computational Logic in Multi-Agent Systems

9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems

10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems

13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Advances in Temporal Logic