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 9 von 218
Anzahl pro Seite
Sortiert nach
Produkte: 2176 Seite 9 von 218 Filter
Anzahl Produkte: 2176 Lecture Notes in Computer Science Logik, formale Sprachen, Automaten
Ahrendt / Beckert / Bubel

The Logic of Software. A Tasting Menu of Formal Methods  

The Logic of Software. A Tasting Menu of Formal Methods
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Ahrendt / Beckert / Bubel

The Logic of Software. A Tasting Menu of Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-031-08165-1 (Buch)
  • Erscheinungstermin: 16.06.2022
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Raskin / Chatterjee / Doyen

Principles of Systems Design  

Principles of Systems Design
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Raskin / Chatterjee / Doyen

Principles of Systems Design

  • Verlag: Springer
  • ISBN: 978-3-031-22336-5 (Buch)
  • Erscheinungstermin: 29.12.2022
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Özgün / Zinova

Language, Logic, and Computation  

Language, Logic, and Computation
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Özgün / Zinova

Language, Logic, and Computation

  • Verlag: Springer
  • ISBN: 978-3-030-98478-6 (Buch)
  • Erscheinungstermin: 31.03.2022
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Glässer / Creissac Campos / Méry

Rigorous State-Based Methods  

Rigorous State-Based Methods
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Glässer / Creissac Campos / Méry

Rigorous State-Based Methods

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-33162-6 (Buch)
  • Erscheinungstermin: 15.05.2023
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Frid / Mercas

Combinatorics on Words  

Combinatorics on Words
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Frid / Mercas

Combinatorics on Words

  • Verlag: Springer
  • ISBN: 978-3-031-33179-4 (Buch)
  • Erscheinungstermin: 12.05.2023
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Dimitrova / Lahav / Wolff

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Dimitrova / Lahav / Wolff

Verification, Model Checking, and Abstract Interpretation

  • Verlag: Springer
  • ISBN: 978-3-031-50523-2 (Buch)
  • Erscheinungstermin: 03.01.2024
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bekki / Mineshima / McCready

Logic and Engineering of Natural Language Semantics  

Logic and Engineering of Natural Language Semantics
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Bekki / Mineshima / McCready

Logic and Engineering of Natural Language Semantics

  • Verlag: Springer
  • ISBN: 978-3-031-43976-6 (Buch)
  • Erscheinungstermin: 24.10.2023
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Katsaros / Nenzi

Runtime Verification  

Runtime Verification
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Katsaros / Nenzi

Runtime Verification

  • Verlag: Springer
  • ISBN: 978-3-031-44266-7 (Buch)
  • Erscheinungstermin: 02.10.2023
  • Lieferzeit ca. 10 Werktage
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Glück / Kafle

Logic-Based Program Synthesis and Transformation  

Logic-Based Program Synthesis and Transformation
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Glück / Kafle

Logic-Based Program Synthesis and Transformation

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-45783-8 (Buch)
  • Erscheinungstermin: 16.10.2023
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Merelo / Adamidis / Beyer

Parallel Problem Solving from Nature - PPSN VII  

Parallel Problem Solving from Nature - PPSN VII
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
Merelo / Adamidis / Beyer

Parallel Problem Solving from Nature - PPSN VII

  • Verlag: Springer
  • ISBN: 978-3-540-44139-7 (Buch)
  • Erscheinungstermin: 26.08.2002
  • Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3