Weiter zum Inhalt
Start Suche
Toggle navigation
Merkliste (
0
)
(Voll)
Sprache
English
Deutsch
Mein Konto
Abmeldung
Anmelden
Suchen
Erweiterte Suche
Suchverlauf
Suche im alten Katalog
Die von der HCU lizenzierten E-Medien sind aus lizenzrechtlichen Gründen nur im HCU-Netz frei nutzbar (
Tipps zum Zugriff für HCU-Angehörige
)
Bücher & mehr
Aufsätze
1
Simulation relations for alternating B#x000F;chi automata
von: Fritz, Carsten
2005, in:
Theoretical computer science
Wird geladen...
2
Contributed Papers - State Space Reductions for Alternating Büchi Automata
von: Fritz, Carsten
2002, in:
Lecture notes in computer science
Wird geladen...
3
Part IX - Appendices - 20 Some Fixed Point Basics
von: Fritz, Carsten
2002, in:
Lecture notes in computer science
Wird geladen...
4
Concepts of Automata Construction from LTL
von: Fritz, Carsten
2005, in:
Lecture notes in computer science
Wird geladen...
5
Simulation Relations for Alternating Parity Automata and Parity Games
von: Fritz, Carsten
2006, in:
Lecture notes in computer science
Wird geladen...
6
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
von: Fritz, Carsten
2003, in:
Lecture notes in computer science
Wird geladen...
7
Erbbaurecht als Anlageform für institutionelle Investoren
von: Sebastian, Steffen
2020, in:
Zeitschrift für Immobilienökonomie
Wird geladen...
8
Metal fluoride materials with complex pore structure and organic functionality
von: Noack, Johannes
2010, in:
Journal of materials chemistry
Wird geladen...
Nicht das Richtige dabei?
Schreiben Sie uns!
Sortieren & Filtern
Sortieren nach
Relevanz
Neueste zuerst
Älteste zuerst
Autor*in
Titel
Einschränken auf E-Medien
Bibliothek
Standort (Printmedien)
Online
Nein
7
Ja
1
Erscheinungsjahr
Von:
Bis:
Sprache
German
1
Nicht das Richtige dabei?
Schreiben Sie uns!
Wird geladen...