Browsing Salzer, Gernot


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 4 to 6 of 6 < previous 
PreviewAuthors / EditorsTitleTypeIssue Date
Rainer-Harbach Marian - 2011 - Methods and tools for the formal verification of...pdf.jpgRainer-Harbach, Marian Methods and tools for the formal verification of software : an analysis and comparisonThesis Hochschulschrift 2011
Sisel Tanja - 2013 - Numeric methods for configuration management.pdf.jpgSisel, Tanja Numeric methods for configuration managementThesis Hochschulschrift 2013
Dissauer Gerald - 2012 - Securing IPv6 by quantum key distribution for wide area...pdf.jpgDißauer, GeraldSecuring IPv6 by quantum key distribution for wide area networksThesis Hochschulschrift 2012