|
691 |
OS verification extended Alkassar, Eyad, 2009
|
|
|
692 |
Polynomial system solving for decoding linear codes and algebraic cryptanalysis Bulygin, Stanislav, 2009
|
|
|
693 |
POSAAM Bettencourt da Cruz, David, 2009
|
|
|
694 |
Post-quantum signatures for today Dahmen, Erik, 2009
|
|
|
695 |
Privacy-enhancing technologies for private services Loesing, Karsten. - Bamberg : Univ. of Bamberg Press, 2009
|
|
|
696 |
Privacy-preserving framework for context-aware mobile applications Butter, Thomas, 2009, [Online-Ausg.]
|
|
|
697 |
Processing rank aware queries in schema based P2P systems Hose, Katja, 2009
|
|
|
698 |
Program development by proof transformation Chiarabini, Luca, [2009]
|
|
|
699 |
Program transformations and their semi-automatic composition Schmied, Andreas Ingmar, 2009
|
|
|
700 |
Prozess-Infrastruktur für Agentenanwendungen Reese, Christine, 2009, [Online-Ausg.]
|
|