Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
6
Einträge für
Dissertation
Zeiträume
6
Einträge für
2001-2100
Zeiträume
6
Einträge für
2001-2010
Autoren / Beteiligte
1
Einträge für
Budnik, Christof J.
1
Einträge für
Christophel, Philipp M.
1
Einträge für
Klohs, Karsten
1
Einträge für
Krummel, Volker
1
Einträge für
Metzler, Björn
1
Einträge für
Meyer, Matthias
Sprachen
5
Einträge für
Englisch
1
Einträge für
Deutsch
Bibliotheken
6
Einträge für
Sammlungen der UB Paderborn
6
Titel
in
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Informatik, Wissen, Systeme
Computerprogrammierung, Programme, Daten
Klassifikation
Schliessen
Filter
zu den Filteroptionen
Titel
Autor / Beteiligte
Ort
Verlag
Jahr
2001 - 2100
Alle Titel
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Informatik, Wissen, Systeme
Computerprogrammierung, Programme, Daten
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
→
Computerprogrammierung, Programme, Daten
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
Validation of data flow results for program modules
Klohs, Karsten
2009
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Test generation using event sequence graphs
Budnik, Christof J.
2007
