<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-20 15:54:41Cryptography Block ciphers Advanced Encryption Standard Vincent Rijmen Symmetric-key algorithm Joan Daemen Data Encryption Standard Key schedule Q ARIA Cipher Serpent |
| Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,DocID: 1xVYM - View Document |
| Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,DocID: 1xUuJ - View Document |
| DocID: 1xTAR - View Document |
| PDF DocumentDocID: 1xfuX - View Document |
| Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria”DocID: 1vrHP - View Document |