• Deutsch
    • English
 
  • Publizieren
  • Über KOBRA  
    • Über uns
    • Leitlinien
    • Lizenzbedingungen
    • FAQ
    • Kontakt
  • 🇩🇪
    • Deutsch
    • English
  • Einloggen
Auflistung Dissertationen nach Erscheinungsdatum 
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Informatik
  • Theoretische Informatik/Formale Methoden
  • Dissertationen
  • Auflistung Dissertationen nach Erscheinungsdatum
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Informatik
  • Theoretische Informatik/Formale Methoden
  • Dissertationen
  • Auflistung Dissertationen nach Erscheinungsdatum
JavaScript is disabled for your browser. Some features of this site may not work without it.


Diese Webseite benutzt Cookies.
COOKIE POLICY DER UNI. Close


Auflistung Dissertationen nach Erscheinungsdatum

Sortiert nach:

Sortierung:

Ergebnisse:

Anzeige der Dokumente 1-3 von 3

  • Titel
  • Erscheinungsdatum
  • Zugangsdatum
  • aufsteigend
  • absteigend
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Dissertation
      Extremal Fixpoints for Higher-Order Modal Logic 

      Bruse, Florian (2018-10)
    • Dissertation
      Buffered Simulation for Büchi Automata 

      Hutagalung, Milka (2019)
    • Dissertation
      Hybrid Branching-Time Logics 

      Kernberger, Daniel (2019)

      DSpace software copyright © 2002-2015  DuraSpace
      KOBRA copyright © 2006-2018  UB Kassel
      Kontakt | Feedback abschicken | Impressum / Datenschutz
      Theme by 
      Atmire NV
       

       

      Stöbern

      Gesamter BestandBereiche & SammlungenErscheinungsdatum Autoren Titel Schlagwort (DDC)Schlagwort (GND)Publikationstyp Sprache Open Access Diese SammlungErscheinungsdatum Autoren Titel Schlagwort (DDC)Schlagwort (GND)Publikationstyp Sprache Open Access

        DSpace software copyright © 2002-2015  DuraSpace
        KOBRA copyright © 2006-2018  UB Kassel
        Kontakt | Feedback abschicken | Impressum / Datenschutz
        Theme by 
        Atmire NV