Springer 7 5 2011 (3 Ergebnisse)

Paperback or Softback. Zustand: New. Secure and Trust Computing, Data Management, and Applications: STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011, Proce. Book.

Paperback or Softback. Zustand: New. Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Proceedings. Book.

Paperback or Softback. Zustand: New. Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, Usa, July 14-20, 2011, Proceedings. Book.