fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 1 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 20 Seite 1 von 2 Filter
Anzahl Produkte: 20 Computer Science Foundations and Applied Logic
Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test  

Structural Decision Diagrams in Digital Test
235,39 € (inkl. MwSt.) 219,99 € (zzgl. MwSt.)
Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-44736-5 (Buch)
  • Erscheinungstermin: 16.02.2025
  • Lieferzeit ca. 10 Werktage
235,39 € (inkl. MwSt.) 219,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test  

Structural Decision Diagrams in Digital Test
235,39 € (inkl. MwSt.) 219,99 € (zzgl. MwSt.)
Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test

  • Verlag: Springer
  • ISBN: 978-3-031-44733-4 (Buch)
  • Erscheinungstermin: 30.01.2024
  • Lieferzeit ca. 10 Werktage
235,39 € (inkl. MwSt.) 219,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
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.)
Leitsch / Cerna / Lolic

First-Order Schemata and Inductive Proof Analysis

  • 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.)
Zur Detailansicht Auf die Merkliste
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.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty

  • 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.)
Zur Detailansicht Auf die Merkliste
Farmer

Simple Type Theory  

Simple Type Theory
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Farmer

Simple Type Theory

  • 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.)
Zur Detailansicht Auf die Merkliste
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.)
Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

  • 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.)
Zur Detailansicht Auf die Merkliste
Sucar

Causal Discovery  

Causal Discovery
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
Sucar

Causal Discovery

  • 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.)
Zur Detailansicht Auf die Merkliste
Stoelinga / Ruijters / Krcál

Concise Guide to Fault Tree Analysis  

Concise Guide to Fault Tree Analysis
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Stoelinga / Ruijters / Krcál

Concise Guide to Fault Tree Analysis

  • Verlag: Springer
  • ISBN: 978-3-031-78286-2 (Buch)
  • Erscheinungstermin: 03.01.2026
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Demri

Concise Introduction to Alternating-Time Temporal Logics  

Concise Introduction to Alternating-Time Temporal Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Demri

Concise Introduction to Alternating-Time Temporal Logics

  • 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.)
Zur Detailansicht Auf die Merkliste
Yukita

Category Theory Using Haskell  

Category Theory Using Haskell
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
Yukita

Category Theory Using Haskell

  • 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.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach