Treffer
1 - 5
von
5
für Suche '
Ody, Heinrich
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Ody, Heinrich
Treffer
1 - 5
von
5
für Suche '
Ody, Heinrich
'
, Suchdauer: 0,36s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Monitoring of Traffic Manoeuvres with Imprecise Information
von
Ody, Heinrich
Veröffentlicht in
Electronic proceedings in theoretical computer science
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Undecidability Results for Multi-Lane Spatial Logic
von
Ody, Heinrich
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
von
Fränzle, Martin
,
Hansen, Michael R.
,
Ody, Heinrich
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Monitoring of Traffic Manoeuvres with Imprecise Information
von
Ody, Heinrich
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
Discounted Duration Calculus
von
Ody, Heinrich
,
Fränzle, Martin
,
Hansen, Michael R.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
3 Treffer
3
Online Resources
5 Treffer
5
Format
Articles
2 Treffer
2
Book Chapters
2 Treffer
2
Conference Proceedings
1 Treffer
1
Zeitschriftentitel
Arxiv.org
1 Treffer
1
Electronic Proceedings In Theoretical Computer Science
1 Treffer
1
Electronic Proceedings In Theoretical Computer Science, Eptcs
1 Treffer
1
Schlagworte
Computer Science
4 Treffer
4
Computer Science, Theory & Methods
4 Treffer
4
Science & Technology
4 Treffer
4
Technology
4 Treffer
4
Computer Science, Software Engineering
3 Treffer
3
Monitoring
2 Treffer
2
Robustness
2 Treffer
2
Spatial Logic
2 Treffer
2
Autonomous Cars
1 Treffer
1
Computer Programming / Software Development
1 Treffer
1
Computer Science - Logic In Computer Science
1 Treffer
1
Decidability
1 Treffer
1
Discounting
1 Treffer
1
Duration Calculus
1 Treffer
1
Highly Automated Driving
1 Treffer
1
Interval Logic
1 Treffer
1
Logic
1 Treffer
1
Mathematical Theory Of Computation
1 Treffer
1
Model Checking
1 Treffer
1
Real-Time Decision Making
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ingentaconnect
3 Treffer
3
Ebook Central Perpetual And Dda
1 Treffer
1
Proquest Central (Alumni)
1 Treffer
1
Proquest Central Uk/Ireland
1 Treffer
1
Proquest Central Essentials
1 Treffer
1
Proquest Central
1 Treffer
1
Proquest One Community College
1 Treffer
1
Ebooks On Ebscohost
1 Treffer
1
Proquest Central Korea
1 Treffer
1
Free E- Journals
1 Treffer
1
Arxiv.org
1 Treffer
1
Doaj Directory Of Open Access Journals
1 Treffer
1
Casalini Torrossa Ebook Single Purchase
1 Treffer
1
Elektronische Zeitschriftenbibliothek - Frei Zugängliche E-Journals
1 Treffer
1
Springer Books
1 Treffer
1