Browsing by Author

Showing results 1 to 5 of 5
PreviewAuthors / EditorsTitleTypeIssue Date
Der Animationsfilm im Informationsdesign die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der Informatik.pdf.jpgEhsani, Anna Parisa Der Animationsfilm im Informationsdesign; die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der InformatikThesis Hochschulschrift 2015
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017
Concolic testing of concurrent software in the context of weak memory models.pdf.jpgDobiasch, Martin Concolic testing of concurrent software in the context of weak memory modelsThesis Hochschulschrift 2014
Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013
Software verification with IC via abstraction and interpolation.pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
Showing results 1 to 5 of 5