Seite 1 von 7
Anzahl pro Seite
Sortiert nach
Produkte: 67 Seite 1 von 7 Filter
Eremeev / Khachay / Pardalos

Mathematical Optimization Theory and Operations Research  

Mathematical Optimization Theory and Operations Research
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-62791-0 (Buch)
  • Erscheinungstermin: 18.06.2024
  • Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
Barneva / Pacchiano / Brimkov

Artificial Intelligence and Image Analysis  

Artificial Intelligence and Image Analysis
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Barneva / Pacchiano / Brimkov

Artificial Intelligence and Image Analysis

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-63734-6 (Buch)
  • Erscheinungstermin: 23.07.2024
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Probst / Bochmann

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56496-6 (Buch)
  • Erscheinungstermin: 30.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle  

Isabelle
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wirsing / Maluszynski

Programming Language Implementation and Logic Programming  

Programming Language Implementation and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54444-9 (Buch)
  • Erscheinungstermin: 14.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wegner / Bai

Electronic Information and Communication in Mathematics  

Electronic Information and Communication in Mathematics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40689-1 (Buch)
  • Erscheinungstermin: 03.09.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clarke / Moral / Kruse

Symbolic and Quantitative Approaches to Reasoning and Uncertainty  

Symbolic and Quantitative Approaches to Reasoning and Uncertainty
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57395-1 (Buch)
  • Erscheinungstermin: 20.10.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Camilleri / Melham

Higher Order Logic Theorem Proving and Its Applications  

Higher Order Logic Theorem Proving and Its Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58450-6 (Buch)
  • Erscheinungstermin: 07.09.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Pearce

Logics in AI  

Logics in AI
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Pearce

Logics in AI

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55887-3 (Buch)
  • Erscheinungstermin: 19.08.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Padmanabhan / McCune

Automated Deduction in Equational Logic and Cubic Curves  

Automated Deduction in Equational Logic and Cubic Curves
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61398-5 (Buch)
  • Erscheinungstermin: 12.06.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach