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 12 von 104
Anzahl pro Seite
Sortiert nach
Produkte: 1042 Seite 12 von 104 Filter
Anzahl Produkte: 1042 Lecture Notes in Computer Science Mathematik für Informatiker
Albert / Pasareanu

Fundamental Approaches to Software Engineering  

Fundamental Approaches to Software Engineering
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Albert / Pasareanu

Fundamental Approaches to Software Engineering

  • Verlag: Springer
  • ISBN: 978-3-032-22773-7 (Buch)
  • Erscheinungstermin: 17.04.2026
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bekki / Mineshima / Oshima

Logic and Engineering of Natural Language Semantics  

Logic and Engineering of Natural Language Semantics
70,61 € (inkl. MwSt.) 65,99 € (zzgl. MwSt.)
Bekki / Mineshima / Oshima

Logic and Engineering of Natural Language Semantics

  • Verlag: Springer
  • ISBN: 978-3-032-31948-7 (Buch)
  • Erscheinungstermin: 28.10.2026
  • Vorbestellbar
70,61 € (inkl. MwSt.) 65,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Escobar / Titolo

Logic-Based Program Synthesis and Transformation  

Logic-Based Program Synthesis and Transformation
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Escobar / Titolo

Logic-Based Program Synthesis and Transformation

  • Verlag: Springer-Verlag GmbH
  • ISBN: 978-3-032-04847-9 (Buch)
  • Erscheinungstermin: 13.09.2025
  • Vorbestellbar
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Darulova / Lin / Rümmer

Computer Aided Verification  

Computer Aided Verification
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Darulova / Lin / Rümmer

Computer Aided Verification

  • Verlag: Springer
  • ISBN: 978-3-032-32518-1 (Buch)
  • Erscheinungstermin: 24.07.2026
  • Vorbestellbar
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Deshmukh / Havelund / Pinto

NASA Formal Methods  

NASA Formal Methods
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Deshmukh / Havelund / Pinto

NASA Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-032-28078-7 (Buch)
  • Erscheinungstermin: 12.06.2026
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bocchi / Kulahcioglu Ozkan

Formal Techniques for Distributed Objects, Components, and Systems  

Formal Techniques for Distributed Objects, Components, and Systems
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Bocchi / Kulahcioglu Ozkan

Formal Techniques for Distributed Objects, Components, and Systems

  • Verlag: Springer
  • ISBN: 978-3-032-28186-9 (Buch)
  • Erscheinungstermin: 12.06.2026
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Sampaio / Stoelinga

Formal Methods  

Formal Methods
98,50 € (inkl. MwSt.) 98,50 € (zzgl. MwSt.)
Sampaio / Stoelinga

Formal Methods

  • Verlag: Springer Nature Switzerland AG
  • ISBN: 978-3-032-26219-6 (Buch)
  • Erscheinungstermin: 18.06.2026
  • Vorbestellbar
98,50 € (inkl. MwSt.) 98,50 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Dima / Ferrando / Malvone

PRIMA 2025: Principles and Practice of Multi-Agent Systems  

PRIMA 2025: Principles and Practice of Multi-Agent Systems
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Dima / Ferrando / Malvone

PRIMA 2025: Principles and Practice of Multi-Agent Systems

  • Verlag: Springer
  • ISBN: 978-3-032-13561-2 (Buch)
  • Erscheinungstermin: 15.12.2025
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Zhang / Hladik / Moosaei

Learning and Intelligent Optimization  

Learning and Intelligent Optimization
70,61 € (inkl. MwSt.) 65,99 € (zzgl. MwSt.)
Zhang / Hladik / Moosaei

Learning and Intelligent Optimization

  • Verlag: Birkhäuser
  • ISBN: 978-3-032-09191-8 (Buch)
  • Erscheinungstermin: 03.01.2026
  • Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.) 65,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Acosta / van Erp / Rudolph

The Semantic Web  

The Semantic Web
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
Acosta / van Erp / Rudolph

The Semantic Web

  • Verlag: Springer
  • ISBN: 978-3-032-25155-8 (Buch)
  • Erscheinungstermin: 07.05.2026
  • Lieferzeit ca. 10 Werktage
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3