Seite 8 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 148 Seite 8 von 15 Filter
Miller / Hawblitzel

Certified Programs and Proofs  

Certified Programs and Proofs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-35307-9 (Buch)
  • Erscheinungstermin: 01.11.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bezhanishvili / Richter / Löbner

Logic, Language, and Computation  

Logic, Language, and Computation
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Bezhanishvili / Richter / Löbner

Logic, Language, and Computation

  • Verlag: Springer
  • ISBN: 978-3-642-36975-9 (Buch)
  • Erscheinungstermin: 10.02.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Aalst / Best

Applications and Theory of Petri Nets 2003  

Applications and Theory of Petri Nets 2003
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-40334-0 (Buch)
  • Erscheinungstermin: 04.06.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch

Computational Logic and Proof Theory  

Computational Logic and Proof Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch

Computational Logic and Proof Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63385-3 (Buch)
  • Erscheinungstermin: 13.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kleijn / Donatelli

Application and Theory of Petri Nets 1999  

Application and Theory of Petri Nets 1999
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-66132-0 (Buch)
  • Erscheinungstermin: 09.06.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sandford

Using Sophisticated Models in Resolution Theorem Proving  

Using Sophisticated Models in Resolution Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-10231-1 (Buch)
  • Erscheinungstermin: 01.08.1980
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kelemen / Kelemenova

Trends, Techniques, and Problems in Theoretical Computer Science  

Trends, Techniques, and Problems in Theoretical Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18535-2 (Buch)
  • Erscheinungstermin: 21.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Perrin / Nivat

Automata on Infinite Words  

Automata on Infinite Words
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-15641-3 (Buch)
  • Erscheinungstermin: 01.06.1985
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55789-0 (Buch)
  • Erscheinungstermin: 10.09.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jouannaud / Kaplan

Conditional Term Rewriting Systems  

Conditional Term Rewriting Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-19242-8 (Buch)
  • Erscheinungstermin: 22.06.1988
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach