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
Part V - Modal m-Calculus - 10 Modal m-Calculus and Alternating Tree Automata
von: Zappe, Julia
2002, in:
Lecture notes in computer science
Wird geladen...
2
Do Noetherian Modules Have Noetherian Basis Functions?
von: Schuster, Peter
2006, in:
Lecture notes in computer science
Wird geladen...
3
Über das Kripke-Schema und abzählbare Teilmengen
von: Schuster, Peter
2008, in:
Logique et analyse
Wird geladen...
4
Mobile Computing - A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
von: Merz, Stephan
2003, in:
Lecture notes in computer science
Wird geladen...
5
Specification and refinement of mobile systems in MTLA and mobile UML
von: Knapp, Alexander
2006, in:
Theoretical computer science
Wird geladen...
6
Editorial: Math. Log. Quart. 1-2008
von: Berger, Josef
2008, in:
Mathematical logic quarterly
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
6
Erscheinungsjahr
Von:
Bis:
Nicht das Richtige dabei?
Schreiben Sie uns!
Wird geladen...