Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 12 Seite 1 von 1 Filter
Yukita

Category Theory Using Haskell  

Category Theory Using Haskell
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-68540-8 (Buch)
  • Erscheinungstermin: 07.12.2025
  • Lieferzeit ca. 10 Werktage
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
Sucar

Causal Discovery  

Causal Discovery
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-98344-3 (Buch)
  • Erscheinungstermin: 28.10.2025
  • Lieferzeit ca. 10 Werktage
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
Demri

Concise Introduction to Alternating-Time Temporal Logics  

Concise Introduction to Alternating-Time Temporal Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Birkhäuser
  • ISBN: 978-3-032-11884-4 (Buch)
  • Erscheinungstermin: 28.04.2026
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science  

Proof Assistants and Their Applications in Mathematics and Computer Science
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing AG
  • ISBN: 978-3-031-85189-6 (Buch)
  • Erscheinungstermin: 09.01.2027
  • Vorbestellbar
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Leitsch / Cerna / Lolic

First-Order Schemata and Inductive Proof Analysis  

First-Order Schemata and Inductive Proof Analysis
171,19 € (inkl. MwSt.) 159,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-032-05740-2 (Buch)
  • Erscheinungstermin: 03.01.2026
  • Lieferzeit ca. 10 Werktage
171,19 € (inkl. MwSt.) 159,99 € (zzgl. MwSt.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty  

Multi-valued Logic for Decision-Making Under Uncertainty
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-74764-9 (Buch)
  • Erscheinungstermin: 19.02.2026
  • Lieferzeit ca. 10 Werktage
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty  

Multi-valued Logic for Decision-Making Under Uncertainty
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-74761-8 (Buch)
  • Erscheinungstermin: 18.02.2025
  • Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-26906-6 (Buch)
  • Erscheinungstermin: 11.06.2024
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-26903-5 (Buch)
  • Erscheinungstermin: 24.05.2023
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer  

Petri Net Primer
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer

  • Verlag: Springer
  • ISBN: 978-3-031-48280-9 (Buch)
  • Erscheinungstermin: 10.02.2025
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • |
  • 1
  • |