|
321 |
Action Logic Programs Drescher, Conrad. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
322 |
An execution trace verification method on linearizability Dragičević, Kristijan, 2011
|
|
|
323 |
Collaboration-based Metrics for Project Management Support in Global Software Engineering Lescher, Christian. - München : Universitätsbibliothek der TU München, 2011
|
|
|
324 |
Communication in Microkernel-Based Operating Systems Aigner, Ronald. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
325 |
Comparison and End-to-End Performance Analysis of Parallel Filesystems Kluge, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
326 |
Computing Shortest Lattice Vectors on Special Hardware Schneider, Michael. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
327 |
Constraint solving for verification Gupta, Ashutosh Kumar. - München : Universitätsbibliothek der TU München, 2011
|
|
|
328 |
Content management and protection using trusted computing and MPEG-21 technologies Schreiner, Florian, 2011
|
|
|
329 |
Coordination and learning in global software development Boden, Alexander. - Siegen : Universitätsbibliothek der Universität Siegen, 2011
|
|
|
330 |
Cost-Based Optimization of Integration Flows Böhm, Matthias. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|