Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
+ Suchhistorie (1 Recherche)
DigiKat (1936-1961): - Parallelrecherche im DigiKat läuft noch... RSSDrucker
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

44.592 Titel < 1825
 bis  
 
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  3D-Plan
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 
Signatur: WS/SK 130 H553
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 
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang