Seite 1 von 9
Anzahl pro Seite
Sortiert nach
Produkte: 91 Seite 1 von 9 Filter
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.)
Urbat / König

Coalgebraic Methods in Computer Science  

Coalgebraic Methods in Computer Science
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-66437-3 (Buch)
  • Erscheinungstermin: 26.07.2024
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Hussain / Yang / Jiang

Advances in Brain Inspired Cognitive Systems  

Advances in Brain Inspired Cognitive Systems
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Singapore
  • ISBN: 978-981-962884-1 (Buch)
  • Erscheinungstermin: 11.03.2025
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Probst / Bochmann

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56496-6 (Buch)
  • Erscheinungstermin: 30.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Habel

Hyperedge Replacement: Grammars and Languages  

Hyperedge Replacement: Grammars and Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56005-0 (Buch)
  • Erscheinungstermin: 17.12.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,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.)
Weber / Lafontaine / Simons

The Generic Development Language Deva  

The Generic Development Language Deva
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Weber / Lafontaine / Simons

The Generic Development Language Deva

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