Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Alle Daten
Herausgeber
Titel
Schlagwörter
ISBN
Aufsatz-Autor
Aufsatz-Titel
Weniger Felder
Reset
Suchen
Einfache Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Fakultäten (univ.)
(1152)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(194)
Fakultät für Elektrotechnik und Informationstechnik
(66)
Fakultät für Humanwissenschaften
(158)
Fakultät für Informatik
(278)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(24)
INF 2 - Institut für Softwaretechnologie
(70)
INF 3 - Institut für Technische Informatik
(10)
INF 4 - Institut für Angewandte Informatik
(13)
INF 5 - Institut für Anwendungssicherheit
(13)
INF 6 - Institut für Systemsicherheit
(33)
INF 7 - Institut für Datensicherheit
(50)
INF 8 - Institut für Schutz und Zuverlässigkeit
(8)
Technische Berichte
(61)
Fakultät für Luft- und Raumfahrttechnik
(320)
Fakultät für Staats- und Sozialwissenschaften
(80)
Fakultät für Wirtschafts- und Organisationswissenschaften
(64)
Fakultäten (HAW)
(112)
An-Institute
Forschungszentren
(271)
Weitere Einrichtungen
(94)
Kongresse
(315)
Preprints
(33)
inside.unibw
(34)
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Autoren:
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Las Vegas Computability and Algorithmic Randomness
Herausgeber Sammlung:
Mayr, Ernst W.; Ollinger, Nicolas
Titel Konferenzpublikation:
32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)
Reihentitel:
Leibniz International Proceedings in Informatics (LIPIcs)
Bandnummer Reihe:
30
Konferenztitel:
International Symposium on Theoretical Aspects of Computer Science (32., 2015, Garching)
Tagungsort:
München
Jahr der Konferenz:
2015
Datum Beginn der Konferenz:
04.03.2015
Datum Ende der Konferenz:
07.03.2015
Verlagsort:
Dagstuhl, Germany
Verlag:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Jahr:
2015
Seiten von - bis:
130-142
Sprache:
Englisch
ISBN:
978-3-939897-78-1
ISSN:
1868-8969
DOI:
10.4230/LIPIcs.STACS.2015.130
URN:
urn:nbn:de:0030-drops-49093
URL zum Inhalt:
http://drops.dagstuhl.de/opus/volltexte/2015/4909
Fakultät:
Fakultät für Informatik
Institut:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Professur:
Brattka, Vasco
Open Access ja oder nein?:
Ja / Yes
Art der OA-Lizenz:
CC BY 3.0
URL zur Lizenz:
https://creativecommons.org/licenses/by/3.0/legalcode
BibTeX
Vorkommen:
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research