1. |
Witt, Kurt-Ulrich: Algorithmische Informationstheorie : Berechenbarkeit und Komplexität verstehen / Kurt-Ulrich Witt, Martin Eric Müller. - Berlin ; [Heidelberg]: Springer Spektrum, [2020]. - ix, 183 Seiten : 4 Illustrationen, ISBN 978-3-662-61693-2 (Lehrbuch) DOI: 10.1007/978-3-662-61694-9
Buch/keine Angabe
|
Signatur: LN-U 10-19359
|
|
2. |
Vossen, Gottfried: Grundkurs Theoretische Informatik : Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen / von Gottfried Vossen, Kurt-Ulrich Witt. - 6. Aufl. 2016. - Wiesbaden: Springer Vieweg, 2016. - Online-Ressource (XVIII, 485 S. 142 Abb, online resource), ISBN 978-3-8348-2202-4 (SpringerLink : Bücher) DOI: 10.1007/978-3-8348-2202-4
Online-Ressource
|
|
|
3. |
Gumm, Heinz-Peter: Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität. - Berlin ; Boston: De Gruyter Oldenbourg, [2019]. - viii, 251 Seiten : Illustrationen, ISBN 978-3-11-044238-0 (Informatik / Heinz-Peter Gumm, Manfred Sommer ; Band 3) (De Gruyter Oldenbourg Studium)
Buch/keine Angabe
|
Signatur: LN-U 10-18270::3
|
|
4. |
Harbrecht, Helmut: Algorithmische Mathematik : Graphen, Numerik und Probabilistik / Helmut Harbrecht, Michael Multerer. - Berlin: Springer Spektrum, 2022.. - 1 Online-Ressource (XIV, 474 Seiten), ISBN 978-3-642-41952-2 (Springer eBook Collection) DOI: 10.1007/978-3-642-41952-2
Online-Ressource
|
|
|
5. |
Hopcroft, John E.: Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. - 3., aktualisierte Auflage. - München ; Boston ; San Francisco ; Harlow ; Don Mills ; Sydney ; Mexico City ; Madrid ; Amsterdam: Pearson Studium, [2011]. - 592 Seiten : Illustrationen, Diagramme, ISBN 978-3-86894-082-4 (it - Informatik)
Buch/keine Angabe
|
Signatur: LN-U 10-12916::(3)
|
|
6. |
Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Thang N. Dinh, My T. Thai. - Cham: Springer, 2016. - Online-Ressource (XIII, 634 p. 98 illus, online resource), ISBN 978-3-319-42634-1 (Lecture Notes in Computer Science ; 9797) (Theoretical Computer Science and General Issues ; 9797) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-42634-1
Online-Ressource
|
|
|
7. |
Hoßfeld, Friedel: Komplexität und Berechenbarkeit : über die Möglichkeiten und Grenzen des Computers ; [449. Sitzung am 6. Oktober 1999 in Düsseldorf] / Friedel H. W. Hossfeld. - Wiesbaden: Westdt. Verl., 2000. - 29 S. : Ill., graph. Darst., ISBN 978-3-531-08448-0 (Vorträge / Nordrhein-Westfälische Akademie der Wissenschaften : N, Natur-, Ingenieur- und Wirtschaftswissenschaften ; 448)
Buch/keine Angabe
|
Signatur: 2000 W 7
|
|
8. |
Schulz, André: Grundlagen der Theoretischen Informatik / André Schulz. - Berlin: Springer Vieweg, 2022. - 1 Online-Ressource (XIX, 374 Seiten), ISBN 978-3-662-65142-1 (Springer eBook Collection) DOI: 10.1007/978-3-662-65142-1
Online-Ressource
|
|
|
9. |
Abiteboul, Serge: The age of algorithms / Serge Abiteboul, Gilles Dowek. - Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, [2020]. - vi, 160 Seiten : Illustrationen, Pläne, ISBN 978-1-108-48457-2
Buch/keine Angabe
|
ausleihbar
Signatur: 2020 A 12887
|
|
10. |
Sternberg, Martin: Algorithmische Preissetzung und tacit collusion / Martin Sternberg. - 1. Auflage. - Baden-Baden: Nomos Verlagsgesellschaft, 2023. - 1 Online-Ressource (319 Seiten) : Diagramme, ISBN 978-3-7489-3762-3 (Wirtschaftsrecht und Wirtschaftspolitik ; Band 316) (Nomos eLibrary : Open Access) DOI: 10.5771/9783748937623
Online-Ressource
|
|
|
11. |
Busse, Edgar: Finite-state genericity : on the diagonalization strength of finite automata / Edgar Busse, 2006. - Online-Ressource
Online-Ressource
|
|
|
12. |
Aust, Holger: Das Zeitalter der Daten : was Sie über Grundlagen, Algorithmen und Anwendungen wissen sollten / Holger Aust. - Berlin: Springer, [2021]. - 1 Online-Ressource (XI, 248 Seiten) : Illustrationen, Diagramme, ISBN 978-3-662-62336-7 (Springer eBook Collection) DOI: 10.1007/978-3-662-62336-7
Online-Ressource
|
|
|
13. |
Reimann, Jan: Computability and fractal dimension / Jan Reimann, 2005. - Online-Ressource (153 Seiten) DOI: 10.11588/heidok.00005543
Online-Ressource
|
|
|
14. |
Hermes, Hans: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen / Hans Hermes. - Berlin ; Göttingen ; Heidelberg: Springer, 1961. - IX, 246 S. : graph. Darst. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 109)
Buch/keine Angabe
|
|
|
15. |
Noltemeier, Hartmut: Informatik 1. - Einführung in Algorithmen und Berechenbarkeit. - München ; Wien: Hanser, 1981. - 148 S., ISBN 978-3-446-13388-4
Mehrteiliges Werk
|
Präsenznutzung
|
|
16. |
Börger, Egon: Berechenbarkeit, Komplexität, Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / Egon Börger. - 3., verb. und erw. Aufl.. - Braunschweig ; Wiesbaden: Vieweg, 1992. - XX, 499 S. : graph. Darst., ISBN 978-3-528-28928-7
Buch/keine Angabe
|
Signatur: UBN/ST 130 B672(3)
|
|
17. |
Schönthaler, Philipp: Wie rationale Maschinen romantisch wurden : KI, Kreativität und algorithmische Postrationalität / Philipp Schönthaler. - Erste Auflage. - Berlin: Matthes & Seitz Berlin, 2024. - 223 Seiten, ISBN 978-3-7518-3009-6 (Fröhliche Wissenschaft ; 234)
Buch/keine Angabe
|
Signatur: 2024 A 5072
|
|
18. |
Blum, Norbert: Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie / von Norbert Blum. - München ; Wien: Oldenbourg, 2007. - VIII, 260 S. : graph. Darst., ISBN 978-3-486-27433-2
Buch/keine Angabe
Inhaltsverzeichnis: 1, 2, 3
|
Signatur: LN-U 10-14080
|
|
19. |
Jörg, Ton: Generative complexity in a complex generative world : a generative revolution in the making / Ton Jörg. - Cham: Springer, [2021]. - 1 Online-Ressource (XXI, 119 Seiten), ISBN 978-3-030-90409-8 (Understanding complex systems) (Springer eBook Collection) DOI: 10.1007/978-3-030-90409-8
Online-Ressource
|
|
|
20. |
Approximation and Online Algorithms : 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / edited by Christos Kaklamanis, Asaf Levin. - 1st ed. 2021.. - Cham: Springer International Publishing, 2021.. - 1 Online-Ressource(XII, 237 p. 31 illus., 9 illus. in color.), ISBN 978-3-030-80879-2 (Springer eBook Collection) (Theoretical Computer Science and General Issues ; 12806) DOI: 10.1007/978-3-030-80879-2
Online-Ressource
|
|
|