|
361 |
Conjunctive queries, arithmetic circuits and counting complexity Mengel, Stefan, 2013
|
|
|
362 |
Construction and evolution of code generators Jörges, Sven. - Berlin : Springer, 2013
|
|
|
363 |
Context pattern method for validating context information Brgulja, Nermin. - Kassel : Kassel Univ. Press, 2013
|
|
|
364 |
Counteracting phishing through HCI Maurer, Max-Emanuel, 2013
|
|
|
365 |
Definition of a type system for generic and reflective graph transformations Legros, Elodie, 2013
|
|
|
366 |
Dependency discovery for data integration Bauckmann, Jana, 2013
|
|
|
367 |
Design for a testing model of a communication subsystem for a safety-critical control system Špendla, Lukáš. - Ilmenau : Univ.-Verl., 2013
|
|
|
368 |
Design of competitive paging algorithms with good behaviour in practice Negoescu, Andrei Laurian, 2013
|
|
|
369 |
Detection, classification and visualization of anomalies using generalized entropy metrics Tellenbach, Bernhard. - Aachen : Shaker, 2013
|
|
|
370 |
Digitale Wasserzeichen zum Integritätsschutz von Videodaten Thiemert, Stefan, 2013
|
|