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

Habilitationsschriften » DDC » Informatik

Chemie
Erziehung, Schul- und Bildungswesen
Informatik
Landwirtschaft, Veterinärmedizin
Mathematik
Medizin
Physik
Psychologie
Sozialwissenschaften, Soziologie, Anthropologie
Sport
Tiere (Zoologie)
    
Es wurden 5 Einträge gefunden.

Dohmen, KlausImproved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent SystemsMetadaten
PDF		proprint-order
Kang, MihyunRandom planar structures and random graph processesMetadaten
PDF		proprint-order
Prinz, AndreasFormal Semantics for SDLMetadaten
PDF		proprint-order
Schacht, MathiasRegular partitions of hypergraphs and property testingMetadaten
PDF		proprint-order
Schmidt, KarstenExplicit state space verificationMetadaten
PDF		proprint-order
 
 
 
 

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