Ergebnisse filtern
Fachgebiet
Medium
  • 10
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 10
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 8
  • 1
Preis
  • 1
  • 6
  • 3
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10

Mathematik | Informatik

10  Treffer  für „Fisher, Michael“
Alle Filter löschen
    Fisher | An Introduction to Practical Formal Methods Using Temporal Logic | Buch | Sack Fachmedien

    Fisher An Introduction to Practical Formal Methods Using Temporal Logic

    1. Auflage 2011
    Verlag: Wiley
    ISBN: 978-0-470-02788-2
    Medium: Buch
    145,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Fisher / Owens | Executable Modal and Temporal Logics | Buch | Sack Fachmedien

    Fisher / Owens Executable Modal and Temporal Logics

    IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58976-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dennis / Fisher | Verifiable Autonomous Systems | Buch | Sack Fachmedien

    Dennis / Fisher Verifiable Autonomous Systems

    Using Rational Agents to Provide Assurance about Decisions Made by Machines
    Erscheinungsjahr 2023
    Verlag: Cambridge University Press
    ISBN: 978-1-108-48499-2
    Medium: Buch
    86,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Fisher / Sadri / Thielscher | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Fisher / Sadri / Thielscher Computational Logic in Multi-Agent Systems

    9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02733-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Fisher / Novák | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Dix / Fisher / Novák Computational Logic in Multi-Agent Systems

    10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16866-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    d'Inverno / Luck / Fisher | Foundations and Applications of Multi-Agent Systems | Buch | Sack Fachmedien

    d'Inverno / Luck / Fisher Foundations and Applications of Multi-Agent Systems

    UKMAS Workshop 1996-2000, Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43962-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Fisher / Gabbay | Advances in Temporal Logic | Buch | Sack Fachmedien

    Barringer / Fisher / Gabbay Advances in Temporal Logic

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-6149-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Fisher / Gabbay | Advances in Temporal Logic | Buch | Sack Fachmedien

    Barringer / Fisher / Gabbay Advances in Temporal Logic

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-90-481-5389-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / van der Torre / Dastani | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Fisher / van der Torre / Dastani Computational Logic in Multi-Agent Systems

    13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32896-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / van der Hoek / Konev | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Fisher / van der Hoek / Konev Logics in Artificial Intelligence

    10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39625-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular