Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Hardware

Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
von Daniel Kroening; Corina S. Păsăreanu
Buch | Softcover
2015 | Auflage: 1 | Springer International Publishing
ISBN: 9783319216676
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Ubiquitous Computing
Smart Devices, Environments and Interactions
von Stefan Poslad
Buch | Hardcover
2009 | John Wiley & Sons Inc
ISBN: 9780470035603
CHF 149,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen