Ergebnisse filtern
-
- 22
- 7
-
- 1
- 21
- 7
-
- 19
- 10
-
- 29
-
- 29
-
- 29
-
Bloem / Jacobs / Kalimov Decidability of Parameterized Verification
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-02011-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar -
Michail / Chatzigiannakis / Spirakis New Models for Population Protocols
Erscheinungsjahr 2011Verlag: SpringerISBN: 978-3-031-00876-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dhoked / Golab / Mittal Recoverable Mutual Exclusion
2023Verlag: SpringerISBN: 978-3-031-20001-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guerraoui / Kapalka Principles of Transactional Memory
Erscheinungsjahr 2010Verlag: SpringerISBN: 978-3-031-00874-0Medium: 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