Seite 10 von 136
Anzahl pro Seite
Sortiert nach
Produkte: 1364 Seite 10 von 136 Filter
Lewerentz / Lindner

Formal Development of Reactive Systems  

Formal Development of Reactive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-58867-2 (Buch)
  • Erscheinungstermin: 26.01.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Comon-Lundh / Kirchner

Rewriting, Computation and Proof  

Rewriting, Computation and Proof
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Comon-Lundh / Kirchner

Rewriting, Computation and Proof

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-73146-7 (Buch)
  • Erscheinungstermin: 22.06.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Backhouse / Gibbons / Hinze

Datatype-Generic Programming  

Datatype-Generic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Backhouse / Gibbons / Hinze

Datatype-Generic Programming

  • Verlag: Springer
  • ISBN: 978-3-540-76785-5 (Buch)
  • Erscheinungstermin: 30.11.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Casadio / Myers

Algorithms in Bioinformatics  

Algorithms in Bioinformatics
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-29008-7 (Buch)
  • Erscheinungstermin: 27.09.2005
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,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.)
Moggi / Rosolini

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63455-3 (Buch)
  • Erscheinungstermin: 20.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Boulton / Jackson

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-42525-0 (Buch)
  • Erscheinungstermin: 22.08.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hermann / Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning  

Logic for Programming, Artificial Intelligence, and Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-48281-9 (Buch)
  • Erscheinungstermin: 23.10.2006
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Falsafi / Vijaykumar

Power-Aware Computer Systems  

Power-Aware Computer Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Falsafi / Vijaykumar

Power-Aware Computer Systems

  • Verlag: Springer
  • ISBN: 978-3-540-42329-4 (Buch)
  • Erscheinungstermin: 11.07.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Brookes / Roscoe / Winskel

Seminar on Concurrency  

Seminar on Concurrency
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Brookes / Roscoe / Winskel

Seminar on Concurrency

  • Verlag: Springer
  • ISBN: 978-3-540-15670-3 (Buch)
  • Erscheinungstermin: 01.08.1985
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach