Seite 1 von 7
Anzahl pro Seite
Sortiert nach
Produkte: 65 Seite 1 von 7 Filter
Balázs / Barneva / Brimkov

Combinatorial Image Analysis  

Combinatorial Image Analysis
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Balázs / Barneva / Brimkov

Combinatorial Image Analysis

  • Verlag: Springer
  • ISBN: 978-3-032-19346-9 (Buch)
  • Erscheinungstermin: 21.04.2026
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Kazakov / Khachay / Kochetov

Mathematical Optimization Theory and Operations Research  

Mathematical Optimization Theory and Operations Research
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-31389-8 (Buch)
  • Erscheinungstermin: 07.07.2026
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Benninghofen / Kemmerich / Richter

Systems of Reductions  

Systems of Reductions
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Benninghofen / Kemmerich / Richter

Systems of Reductions

  • Verlag: Springer
  • ISBN: 978-3-540-18598-7 (Buch)
  • Erscheinungstermin: 25.11.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baumgartner

Theory Reasoning in Connection Calculi  

Theory Reasoning in Connection Calculi
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-65509-1 (Buch)
  • Erscheinungstermin: 18.12.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bundy

Automated Deduction - CADE-12  

Automated Deduction - CADE-12
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-58156-7 (Buch)
  • Erscheinungstermin: 08.06.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ben Yahia / Mephu Nguifo / Belohlavek

Concept Lattices and Their Applications  

Concept Lattices and Their Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ben Yahia / Mephu Nguifo / Belohlavek

Concept Lattices and Their Applications

  • Verlag: Springer
  • ISBN: 978-3-540-78920-8 (Buch)
  • Erscheinungstermin: 28.03.2008
  • 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
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Melham / Camilleri

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
  • ISBN: 978-3-540-58450-6 (Buch)
  • Erscheinungstermin: 07.09.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bochmann / Probst

Computer Aided Verification  

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

Natural Language and Logic  

Natural Language and Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-53082-4 (Buch)
  • Erscheinungstermin: 26.09.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach