Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
InstitutionMathematisch-Naturwissenschaftliche Fakultät II (5)DDC
004 Informatik (5)
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
InstitutionMathematisch-Naturwissenschaftliche Fakultät II (5)DDC
004 Informatik (5)
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filter

Use filters to refine search results.

Now showing items 1-5 of 5

  • Sort by:
  • Relevance
  • Title ascending
  • Title descending
  • Issue date ascending
  • Issue date descending
  • Results per page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
2001-05-23Habilitation
Formal Semantics for SDL 
Definition and Implementation
Prinz, Andreas
In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative ...
2001-02-05Habilitation
Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent Systems 
Dohmen, Klaus
Viele Probleme der Kombinatorik, Zahlentheorie, Wahrscheinlichkeitstheorie, Zuverlässigkeitstheorie und Statistik lassen sich durch Anwendung einer einheitlichen Methode lösen, die als Prinzip der Inklusion-Exklusion bekannt ...
2010-10-28Habilitation
Regular partitions of hypergraphs and property testing 
Schacht, Mathias
Die Regularitätsmethode für Graphen wurde vor über 30 Jahren von Szemerédi, für den Beweis seines Dichteresultates über Teilmengen der natürlichen Zahlen, welche keine arithmetischen Progressionen enthalten, entwickelt. ...
2007-07-27Habilitation
Random planar structures and random graph processes 
Kang, Mihyun
Diese Habilitationsschrift richtete auf zwei diskrete Strukturen aus: planare Strukturen und zufällige Graphen-Prozesse. Zunächst werden zufällige planare Strukturen untersucht, mit folgende Gesichtspunkte: - Wieviele ...
2002-11-15Habilitation
Explicit state space verification 
Schmidt, Karsten
Gegenstand der Arbeit ist die Verifikation von verteilten diskreten Systemen in bezug auf Spezifikationen ihres Verhaltens. Diskrete Systeme bestehen aus einer abzaehlbaren Zustandsmenge und einer Zustandsuebergangsrelation. ...
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin