|
701 |
Planning and Verification in the agent language Golog Claßen, Jens, 2013
|
|
|
702 |
PORTNEUF - A Framework for Continuous User Involvement Pagano, Dennis. - München : Verlag Dr. Hut, 2013
|
|
|
703 |
PORTNEUF - a framework for continuous user involvement Pagano, Dennis. - München : Verl. Dr. Hut, 2013, 1. Aufl.
|
|
|
704 |
Practical forward secure signatures using minimal security assumptions Hülsing, Andreas, 2013
|
|
|
705 |
Practical Forward Secure Signatures using Minimal Security Assumptions Hülsing, Andreas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
706 |
Practical real-time with look-ahead scheduling Roitzsch, Michael, 2013
|
|
|
707 |
Practical Real-Time with Look-Ahead Scheduling Roitzsch, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
708 |
Pretty good anonymity Standtke, Ronny. - Berlin : Logos-Verl., 2013
|
|
|
709 |
Privacy enforcement with data owner-defined policies Scheffler, Thomas. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
710 |
Privacy enforcement with data owner-defined policies Scheffler, Thomas, 2013
|
|