Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Informatik: Theorie / Studium

Fachgebiete anzeigen
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of..
von Maurice H. ter Beek; Stefania Gnesi; Alexander..
Buch | Softcover
2016 | Springer International Publishing
ISBN: 9783319459424
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Behavioural Models
From Modelling Finite Automata to Analysing Business Processes
von Matthias Kunze; Mathias Weske
Buch | Hardcover
2016 | Springer International Publishing
ISBN: 9783319449586
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
OpenMP: Memory, Devices, and Tasks
12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
von Naoya Maruyama; Bronis R. de Supinski; Mohamed..
Buch | Softcover
2016 | Springer International Publishing
ISBN: 9783319455495
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen