Seite 1 von 8
Anzahl pro Seite
Sortiert nach
Produkte: 75 Seite 1 von 8 Filter
Reisig / Cortadella

Applications and Theory of Petri Nets 2004  

Applications and Theory of Petri Nets 2004
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-22236-1 (Buch)
  • Erscheinungstermin: 15.06.2004
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Koutny / Colom

Applications and Theory of Petri Nets 2001  

Applications and Theory of Petri Nets 2001
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42252-5 (Buch)
  • Erscheinungstermin: 13.06.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Yan / Yang / Liu

The Connectives in Logic and Language  

The Connectives in Logic and Language
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-86053-9 (Buch)
  • Erscheinungstermin: 17.04.2025
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ribeiro / Sekerinski

Formal Methods Teaching  

Formal Methods Teaching
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Ribeiro / Sekerinski

Formal Methods Teaching

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-71378-1 (Buch)
  • Erscheinungstermin: 05.09.2024
  • Lieferzeit ca. 10 Werktage
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Kesner / Abdulla

Foundations of Software Science and Computation Structures  

Foundations of Software Science and Computation Structures
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-90896-5 (Buch)
  • Erscheinungstermin: 01.05.2025
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Groote / Bezem

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-56517-8 (Buch)
  • Erscheinungstermin: 03.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bert / Robinson / Bowen

ZB 2002: Formal Specification and Development in Z and B  

ZB 2002: Formal Specification and Development in Z and B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43166-4 (Buch)
  • Erscheinungstermin: 16.01.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wirsing / Maluszynski

Programming Language Implementation and Logic Programming  

Programming Language Implementation and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54444-9 (Buch)
  • Erscheinungstermin: 14.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hofmann

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-40332-6 (Buch)
  • Erscheinungstermin: 27.05.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science  

Proof Theory in Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science

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