Michael Fisher – författare

Art of Scalability, The

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

A Level Biology for OCR A Revision Guide

A Level Advancing Biology for OCR B: Year 2

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

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

Introduction to Practical Formal Methods Using Temporal Logic