Seite 14 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 148 Seite 14 von 15 Filter
Kaufmann / Paulson

Interactive Theorem Proving  

Interactive Theorem Proving
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-14051-8 (Buch)
  • Erscheinungstermin: 30.06.2010
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Kaiser

Logic and Games on Automatic Structures  

Logic and Games on Automatic Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-22806-3 (Buch)
  • Erscheinungstermin: 22.07.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Yakovlev / Kleijn

Petri Nets and Other Models of Concurrency - ICATPN 2007  

Petri Nets and Other Models of Concurrency - ICATPN 2007
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-73093-4 (Buch)
  • Erscheinungstermin: 18.06.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gabbay / Ohlbach / Kruse

Qualitative and Quantitative Practical Reasoning  

Qualitative and Quantitative Practical Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63095-1 (Buch)
  • Erscheinungstermin: 28.05.1997
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
El Yacoubi / Bandini / Chopard

Cellular Automata  

Cellular Automata
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
El Yacoubi / Bandini / Chopard

Cellular Automata

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40929-8 (Buch)
  • Erscheinungstermin: 19.09.2006
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Dowek

Rewriting and Typed Lambda Calculi  

Rewriting and Typed Lambda Calculi
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-08917-1 (Buch)
  • Erscheinungstermin: 15.07.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Kleine Büning

CSL'88  

CSL'88
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Kleine Büning

CSL'88

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