edoc - Dokumenten- und Publikationsserver der Humboldt-Universität zu Berlin
      Logo der Humboldt-Universität
 
edocSucheAutorenhinweiseRechte/Info/Hilfe        
 
         
 

Dissertationen » RVK » Informatik

   
Es wurden 29 Einträge gefunden.

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 A-Z

Peuker, SibylleHalbordnungsbasierte Verfeinerung zur Verifikation verteilter AlgorithmenMetadaten
PDF		proprint-order

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 A-Z
 
 
 
 

edoc-Server der Humboldt-Universität zu Berlin  •  Impressum  •  edoc@cms.hu-berlin.de  •  Nutzungsbedingungen  •  Haftungsausschluss  •  Statistik