Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte 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
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
BGH15
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