Seite 1 von 11
Anzahl pro Seite
Sortiert nach
Produkte: 105 Seite 1 von 11 Filter
Hur

Programming Languages and Systems  

Programming Languages and Systems
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-981-99-8310-0 (Buch)
  • Erscheinungstermin: 23.11.2023
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Naumann

Unifying Theories of Programming  

Unifying Theories of Programming
42,80 € (inkl. MwSt.) 40,00 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-14805-2 (Buch)
  • Erscheinungstermin: 04.02.2015
  • Lieferzeit ca. 10 Werktage
42,80 € (inkl. MwSt.) 40,00 € (zzgl. MwSt.)
Uehara / Yamanaka / Yen

WALCOM: Algorithms and Computation  

WALCOM: Algorithms and Computation
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Uehara / Yamanaka / Yen

WALCOM: Algorithms and Computation

  • Verlag: Springer
  • ISBN: 978-981-97-0565-8 (Buch)
  • Erscheinungstermin: 29.02.2024
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
McDermott / Castelli / Sekanina

Genetic Programming  

Genetic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
McDermott / Castelli / Sekanina

Genetic Programming

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-55695-6 (Buch)
  • Erscheinungstermin: 15.03.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dimitrova / Lahav / Wolff

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-50520-1 (Buch)
  • Erscheinungstermin: 03.01.2024
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
André / Sun

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-45328-1 (Buch)
  • Erscheinungstermin: 22.10.2023
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
André / Sun

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-45331-1 (Buch)
  • Erscheinungstermin: 19.10.2023
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Arcaini / Yue / Fredericks

Search-Based Software Engineering  

Search-Based Software Engineering
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Arcaini / Yue / Fredericks

Search-Based Software Engineering

  • Verlag: Springer
  • ISBN: 978-3-031-48795-8 (Buch)
  • Erscheinungstermin: 04.12.2023
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Barbosa / Zohar

Formal Methods: Foundations and Applications  

Formal Methods: Foundations and Applications
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-49341-6 (Buch)
  • Erscheinungstermin: 02.12.2023
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Petrucci / Sproston

Formal Modeling and Analysis of Timed Systems  

Formal Modeling and Analysis of Timed Systems
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-42625-4 (Buch)
  • Erscheinungstermin: 29.08.2023
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach