Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Hardware

Formal Aspects in Security and Trust
IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
von Theo Dimitrakos; Fabio Martinelli
Buch | Hardcover
2005 | Springer-Verlag New York Inc.
ISBN: 9780387240503
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
von Alan J. Hu; Andrew K. Martin
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540237389
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Making Grids Work
Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007,..
von Marco Danelutto; Paraskevi Fragopoulou; Vladimir..
Buch | Hardcover
2008 | Springer-Verlag New York Inc.
ISBN: 9780387784472
CHF 247,15 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Hybrid Systems: Computation and Control
5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
von Claire J. Tomlin; Mark R. Greenstreet
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540433217
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods in Computer-Aided Design
4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
von Mark D. Aagaard; John W. O'Leary
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540001164
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Computer Architecture
Complexity and Correctness
von Silvia M. Mueller; Wolfgang J. Paul
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642086915
CHF 127,25 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen