Seite 5 von 6
Anzahl pro Seite
Sortiert nach
Produkte: 63 Seite 5 von 6 Filter
Meyer / Hoek

Epistemic Logic for AI and Computer Science  

Epistemic Logic for AI and Computer Science
79,70 € (inkl. MwSt.) 79,70 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-60280-8 (Buch)
  • Erscheinungstermin: 02.02.2004
  • Lieferzeit ca. 10 Werktage
79,70 € (inkl. MwSt.) 79,70 € (zzgl. MwSt.)
Bundy / Basin / Hutter

Rippling  

Rippling
150,90 € (inkl. MwSt.) 150,90 € (zzgl. MwSt.)
Bundy / Basin / Hutter

Rippling

  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-83449-0 (Buch)
  • Erscheinungstermin: 30.06.2005
  • Lieferzeit ca. 10 Werktage
150,90 € (inkl. MwSt.) 150,90 € (zzgl. MwSt.)
Adámek / Milius / Moss

Initial Algebras and Terminal Coalgebras  

Initial Algebras and Terminal Coalgebras
203,90 € (inkl. MwSt.) 203,90 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-1-108-83546-6 (Buch)
  • Erscheinungstermin: 07.01.2025
  • Lieferzeit ca. 10 Werktage
203,90 € (inkl. MwSt.) 203,90 € (zzgl. MwSt.)
Melham

Higher Order Logic and Hardware Verification  

Higher Order Logic and Hardware Verification
134,50 € (inkl. MwSt.) 134,50 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-41718-1 (Buch)
  • Erscheinungstermin: 13.04.2012
  • Lieferzeit ca. 10 Werktage
134,50 € (inkl. MwSt.) 134,50 € (zzgl. MwSt.)
Revesz

Lambda-Calculus, Combinators and Functional Programming  

Lambda-Calculus, Combinators and Functional Programming
68,40 € (inkl. MwSt.) 68,40 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-11429-5 (Buch)
  • Erscheinungstermin: 27.02.2009
  • Lieferzeit ca. 10 Werktage
68,40 € (inkl. MwSt.) 68,40 € (zzgl. MwSt.)
Wolfram

The Clausal Theory of Types  

The Clausal Theory of Types
38,60 € (inkl. MwSt.) 38,60 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-11790-6 (Buch)
  • Erscheinungstermin: 14.04.2009
  • Lieferzeit ca. 10 Werktage
38,60 € (inkl. MwSt.) 38,60 € (zzgl. MwSt.)
Mosses

Action Semantics  

Action Semantics
72,60 € (inkl. MwSt.) 72,60 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-61933-2 (Buch)
  • Erscheinungstermin: 31.12.2004
  • Lieferzeit ca. 10 Werktage
72,60 € (inkl. MwSt.) 72,60 € (zzgl. MwSt.)
Manes

Predicate Transformer Semantics  

Predicate Transformer Semantics
71,20 € (inkl. MwSt.) 71,20 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-61610-2 (Buch)
  • Erscheinungstermin: 20.10.2004
  • Lieferzeit ca. 10 Werktage
71,20 € (inkl. MwSt.) 71,20 € (zzgl. MwSt.)
Amadio / Curien

Domains and Lambda-Calculi  

Domains and Lambda-Calculi
185,10 € (inkl. MwSt.) 185,10 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-62277-6 (Buch)
  • Erscheinungstermin: 15.05.2003
  • Lieferzeit ca. 10 Werktage
185,10 € (inkl. MwSt.) 185,10 € (zzgl. MwSt.)
Carpenter

The Logic of Typed Feature Structures  

The Logic of Typed Feature Structures
60,50 € (inkl. MwSt.) 60,50 € (zzgl. MwSt.)
  • Verlag: Cambridge University Press
  • ISBN: 978-0-521-02254-5 (Buch)
  • Erscheinungstermin: 23.09.2005
  • Lieferzeit ca. 10 Werktage
60,50 € (inkl. MwSt.) 60,50 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach