Ergebnisse filtern
-
- 9
- 4
-
- 2
- 5
- 2
- 4
-
- 1
- 11
- 1
-
- 7
- 3
- 3
-
- 13
-
- 13
-
- 13
- 2
-
Groote / Alberts Tales of Electrologica
Computers, Software and People1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13035-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Alberts Tales of Electrologica
Computers, Software and People1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-13032-8Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Atif Understanding Behaviour of Distributed Systems Using mCRL2
2023Verlag: Springer International PublishingISBN: 978-3-031-23010-3Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huisman / Groote Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14¿15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Atif / Groote Understanding Behaviour of Distributed Systems Using mCRL2
1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-23008-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark192,59 € (inkl. MwSt.)
sofort verfügbar -
Groote / Huisman Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15008-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar -
Alberts / Groote Tales of Electrologica
Computers, Software and People1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-13033-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark37,44 € (inkl. MwSt.)
sofort verfügbar -
Groote / Atif Understanding Behaviour of Distributed Systems Using mCRL2
2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-23007-3Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Mousavi Modeling and Analysis of Communicating Systems
Erscheinungsjahr 2023Verlag: MIT PressISBN: 978-0-262-54787-1Medium: Buch54,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-72015-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-72012-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Morel / Schmaltz Logic Gates, Circuits, Processors, Compilers and Computers
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-68553-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark37,44 € (inkl. MwSt.)
sofort verfügbar -
Groote / Watkins / Morel Logic Gates, Circuits, Processors, Compilers and Computers
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-68552-2Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort