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.)
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.)
Simple Type Theory
64,19 € (inkl. MwSt.)
59,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-031-85354-8 (Buch)
- Erscheinungstermin: 24.04.2026
-
Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.)
59,99 € (zzgl. MwSt.)
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.)
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.)
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.)
Guide to Software Verification with Frama-C
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-031-55610-4 (Buch)
- Erscheinungstermin: 11.07.2025
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Petri Net Primer
90,94 € (inkl. MwSt.)
84,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-031-48277-9 (Buch)
- Erscheinungstermin: 24.01.2024
-
Lieferzeit ca. 10 Werktage
90,94 € (inkl. MwSt.)
84,99 € (zzgl. MwSt.)
Petri Net Primer
64,19 € (inkl. MwSt.)
59,99 € (zzgl. MwSt.)
- 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.)
Category Theory Using Haskell
213,99 € (inkl. MwSt.)
199,99 € (zzgl. MwSt.)
- Verlag: Palgrave Macmillan
- ISBN: 978-3-031-68537-8 (Buch)
- Erscheinungstermin: 07.12.2024
-
Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.)
199,99 € (zzgl. MwSt.)