Seite 1 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 24 Seite 1 von 2 Filter
Sifakis

Automatic Verification Methods for Finite State Systems  

Automatic Verification Methods for Finite State Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-52148-8 (Buch)
  • Erscheinungstermin: 10.01.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nipkow / Barendregt

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58085-0 (Buch)
  • Erscheinungstermin: 20.05.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Miola

Design and Implementation of Symbolic Computation Systems  

Design and Implementation of Symbolic Computation Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57235-0 (Buch)
  • Erscheinungstermin: 02.09.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Luque / Benítez / Margalef

Euro-Par 2008 Parallel Processing  

Euro-Par 2008 Parallel Processing
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Luque / Benítez / Margalef

Euro-Par 2008 Parallel Processing

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-85450-0 (Buch)
  • Erscheinungstermin: 11.08.2008
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Meyer auf der Heide

Algorithms - ESA 2001  

Algorithms - ESA 2001
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Meyer auf der Heide

Algorithms - ESA 2001

  • Verlag: Springer
  • ISBN: 978-3-540-42493-2 (Buch)
  • Erscheinungstermin: 15.08.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
D'Ambra / Guarracino / Talia

Euro-Par 2010 - Parallel Processing  

Euro-Par 2010 - Parallel Processing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
D'Ambra / Guarracino / Talia

Euro-Par 2010 - Parallel Processing

  • Verlag: Springer
  • ISBN: 978-3-642-15290-0 (Buch)
  • Erscheinungstermin: 18.08.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Janßen

Trends in Computer Algebra  

Trends in Computer Algebra
32,09 € (inkl. MwSt.) 29,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18928-2 (Buch)
  • Erscheinungstermin: 22.02.1988
  • Lieferzeit ca. 10 Werktage
32,09 € (inkl. MwSt.) 29,99 € (zzgl. MwSt.)
Dörr

Efficient Graph Rewriting and Its Implementation  

Efficient Graph Rewriting and Its Implementation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60055-8 (Buch)
  • Erscheinungstermin: 14.07.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,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 Berlin Heidelberg
  • ISBN: 978-3-540-57272-5 (Buch)
  • Erscheinungstermin: 02.09.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Girard

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-65763-7 (Buch)
  • Erscheinungstermin: 24.03.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach