Seite 25 von 104
Anzahl pro Seite
Sortiert nach
Produkte: 1042 Seite 25 von 104 Filter
Shankaranarayanan / Sankaranarayanan / Trivedi

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Shankaranarayanan / Sankaranarayanan / Trivedi

Verification, Model Checking, and Abstract Interpretation

  • Verlag: Springer
  • ISBN: 978-3-031-82702-0 (Buch)
  • Erscheinungstermin: 23.01.2025
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Benzmüller / Heule / Schmidt

Automated Reasoning  

Automated Reasoning
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Benzmüller / Heule / Schmidt

Automated Reasoning

  • Verlag: Springer
  • ISBN: 978-3-031-63497-0 (Buch)
  • Erscheinungstermin: 02.07.2024
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Kreveld / Nievergelt / Roos

Algorithmic Foundations of Geographic Information Systems  

Algorithmic Foundations of Geographic Information Systems
53,45 € (inkl. MwSt.) 49,95 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-63818-6 (Buch)
  • Erscheinungstermin: 12.11.1997
  • Lieferzeit ca. 10 Werktage
53,45 € (inkl. MwSt.) 49,95 € (zzgl. MwSt.)
Broccia / Cerone

From Data to Models and Back  

From Data to Models and Back
128,39 € (inkl. MwSt.) 119,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-87216-7 (Buch)
  • Erscheinungstermin: 15.04.2025
  • Lieferzeit ca. 10 Werktage
128,39 € (inkl. MwSt.) 119,99 € (zzgl. MwSt.)
Bowles / Søndergaard

Logic-Based Program Synthesis and Transformation  

Logic-Based Program Synthesis and Transformation
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-71293-7 (Buch)
  • Erscheinungstermin: 07.09.2024
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Kirchner / Wechler

Algebraic and Logic Programming  

Algebraic and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-53162-3 (Buch)
  • Erscheinungstermin: 20.09.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cleaveland

CONCUR '92  

CONCUR '92
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Cleaveland

CONCUR '92

  • Verlag: Springer
  • ISBN: 978-3-540-55822-4 (Buch)
  • Erscheinungstermin: 12.08.1992
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Gurfinkel / Ganesh

Computer Aided Verification  

Computer Aided Verification
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-65626-2 (Buch)
  • Erscheinungstermin: 26.07.2024
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Lees / Cai / Cheong

Computational Science - ICCS 2025  

Computational Science - ICCS 2025
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-97631-5 (Buch)
  • Erscheinungstermin: 05.07.2025
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Fitch

Design and Implementation of Symbolic Computation Systems  

Design and Implementation of Symbolic Computation Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-57272-5 (Buch)
  • Erscheinungstermin: 02.09.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach