MPG.eBooks - Author Search Results

Cover Image

1

Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings

by Fisher, Michael
Published 1995

Springer

Cover Image

2

An introduction to practical formal methods using temporal logic

by Fisher, Michael
Published 2011

Wiley

Cover Image

3

Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines

by Dennis, Louise, Fisher, Michael
Published 2023

Cambridge University Press

Cover Image

4

The art of scalability : scalable web architecture, processes, and organizations for the modern enterprise

by Abbott, Martin L., Fisher, Michael T.
Published 2015

Addison-Wesley

Cover Image

5

Hidden heroes : America's military caregivers

by Ramchand, Rajeev, Tanielian, Terri L., Fisher, Michael P., Vaughan, Christine Anne
Published 2014

RAND Corporation

Cover Image

6

Scalability rules : 50 principles for scaling Web sites

by Abbott, Martin L.
Published 2011

Addison-Wesley

Other Authors: “...Fisher, Michael T....”

Cover Image

7

Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

8

Foundations and Applications of Multi-Agent Systems : UKMAS Workshops 1996–2000 Selected Papers

by d’Inverno, Mark
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

9

Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

10

Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

11

Foundations and Applications of Multi-Agent Systems : UKMAS Workshop 1996-2000, Selected Papers

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

12

Advances in Temporal Logic

Published 2000

Springer Netherlands

Other Authors: “...Fisher, Michael...”

Cover Image

13

Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”

Cover Image

14

Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Fisher, Michael...”