Ergebnisse filtern
-
- 10
-
- 1
- 8
- 1
-
- 1
- 6
- 3
-
- 10
-
- 10
-
- 10
Mathematik | Informatik
-
Fisher An Introduction to Practical Formal Methods Using Temporal Logic
1. Auflage 2011Verlag: WileyISBN: 978-0-470-02788-2Medium: Buch146,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Fisher / Owens Executable Modal and Temporal Logics
IJCAI '93 Workshop, Chambery, France, August 28, 1993. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-58976-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dennis / Fisher Verifiable Autonomous Systems
Erscheinungsjahr 2023Verlag: Cambridge University PressISBN: 978-1-108-48499-2Medium: Buch83,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fisher / Sadri / Thielscher Computational Logic in Multi-Agent Systems
9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02733-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16866-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
d'Inverno / Luck / Fisher Foundations and Applications of Multi-Agent Systems
UKMAS Workshop 1996-2000, Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43962-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barringer / Fisher / Gabbay Advances in Temporal Logic
1. Auflage 1999Verlag: SpringerISBN: 978-0-7923-6149-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barringer / Fisher / Gabbay Advances in Temporal Logic
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: SpringerISBN: 978-90-481-5389-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fisher / van der Torre / Dastani Computational Logic in Multi-Agent Systems
13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32896-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fisher / van der Hoek / Konev Logics in Artificial Intelligence
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39625-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort