|
391 |
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
Klüppelholz, Sascha. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
392 |
Verification of business rules programs
Berstel-Da Silva, Bruno. - Freiburg : Universität, 2012
|
|
|
|
393 |
Visual Support for Safety Analysis
Yang, Yi. - Kaiserslautern : Technische Universität Kaiserslautern, 2012
|
|
|
|
394 |
Zugriffskontrolle in serviceorientierten Architekturen am Beispiel von Geodateninfrastrukturen
Herrmann, Jan. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
395 |
A Framework for Externalizing Information in Agile Meetings
Schiller, Jennifer. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
396 |
A methodology for efficient multiprocessor system-on-chip software development
Ceng, Jianjiang. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
397 |
Access Manager
Acker, Ralph. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
398 |
Access Restrictions to and with Description Logic Web Ontologies
Knechtel, Martin. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
399 |
Action Logic Programs
Drescher, Conrad. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
400 |
An execution trace verification method on linearizability
Dragičević, Kristijan, 2011
|
|
Administration
