Sammlungen der UB Paderborn / Computerprogrammierung, Programme, Daten / Filter 2001-2010 [1-7]

Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Platzner, Marco
Elektronische Ressource, Paderborn, 2010
Decomposition for compositional verification
Metzler, Björn
2010
Musterbasiertes Re-Engineering von Softwaresystemen
Meyer, Matthias
2009
Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software
Christophel, Philipp M.
2009
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Test generation using event sequence graphs
Budnik, Christof J.
2007
Validation of data flow results for program modules
Klohs, Karsten
2009