Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 5 Seite 1 von 1 Filter
Myers / O'Donnell

Constructivity in Computer Science  

Constructivity in Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-55631-2 (Buch)
  • Erscheinungstermin: 24.06.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Matsui

Advances in Cryptology - ASIACRYPT 2009  

Advances in Cryptology - ASIACRYPT 2009
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-10365-0 (Buch)
  • Erscheinungstermin: 17.11.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems  

Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-55092-1 (Buch)
  • Erscheinungstermin: 11.12.1991
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Klein / Gamboa

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08969-0 (Buch)
  • Erscheinungstermin: 01.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Kleine Büning / Richter

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Kleine Büning / Richter

Computer Science Logic

  • Verlag: Springer
  • ISBN: 978-3-540-54487-6 (Buch)
  • Erscheinungstermin: 11.09.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |