Inhalt des Dokuments
zur Navigation
Abgeschlossene Bachelorarbeiten
-
A Locally Nameless Theory of Objects - Repräsentation gebundener Variablen in Isabelle/HOL
Lutz, Bianca
-
Über Implementierungsstrategien für dynamische Wissensmodellierung mittels Belief Sets und epistemischer Modallogik
Lange, Sascha
-
Implementing the Distributed Join Calculus using Actors
Heinzel, Matthias
Abgeschlossene Masterarbeiten
-
Computing Coupled Similarity
Bisping, Benjamin
-
Critical Success Factors in Enterprise Resource Planning (ERP) Systems in Afghanistan's Education Sector
Hussaini, Najma
-
Machine Learning-Based Text Classification and Clustering: The Challenges of User-Generated Content
Habib, Mohammad
-
On Identifying, Measuring and Integrating Similarities of Entities in Ontology-Based Systems
Zhakil, Amin Gul
-
Developing the Concept of an Information Management System for Afghan Universities
Zaini, Ghulam Rasoul
Abgeschlossene Diplomarbeiten
-
On the Expressive Power of Higher-Order Event Structures
Starostin, Ewgenij
-
Joining Actors in La Scala
Slama, Simon
-
Session Types for Distributed Algorithms
Li, Liangliang
-
States in Process Calculi
Wagner, Christoph
-
A Type System for Proving Termination in Name-Passing Process-Calculi
Beschow, Bernhard
-
Java goes TLA+
Lau, Hannes