HEIDI

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)

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska. - Cham: Springer, 2016. - Online-Ressource (XVI, 375 p. 21 illus, online resource), ISBN 978-3-319-40189-8 (Lecture Notes in Computer Science ; 9709) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9709) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-40189-8 Themen: Berechenbarkeit \| Berechnungskomplexität \| Berechnungstheorie Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
2.	Witt, Kurt-Ulrich: Algorithmische Informationstheorie : Berechenbarkeit und Komplexität verstehen / von Kurt-Ulrich Witt, Martin Eric Müller. - 1st ed. 2020.. - Berlin, Heidelberg: Springer Berlin Heidelberg, 2020.. - 1 Online-Ressource(IX, 184 S. 18 Abb.), ISBN 978-3-662-61694-9 (Springer eBook Collection) DOI: 10.1007/978-3-662-61694-9 Themen: Algorithmische Informationstheorie \| Algorithmus \| Berechenbarkeit \| Komplexitätstheorie Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
3.	Cunningham, Daniel W.: Mathematical logic : an introduction / Daniel W. Cunningham. - Berlin ; Boston: De Gruyter, [2023]. - XIII, 256 Seiten : Illustrationen, ISBN 978-3-11-078201-1 (De Gruyter textbook) DOI: 10.1515/9783110782073 Themen: Aussagenlogik \| Berechenbarkeit \| Gödelscher Unvollständigkeitssatz \| Korrektheit \| Prädikatenlogik Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	bestellen Signatur: UBN/SK 130 C973 → Andere Auflagen/Ausgaben
4.	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) Themen: Berechenbarkeit \| Formale Sprache \| Komplexitätstheorie \| Programmierung \| Theoretische Informatik \| Übersetzerbau Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-18270::3 → Andere Auflagen/Ausgaben
5.	Ramge, Thomas: Augmented intelligence : wie wir mit Daten und KI besser entscheiden / Thomas Ramge ; mit 8 Abbildungen von Dinara Galieva. - Sonderausgabe von Reclams Universal-Bibliothek Nr. 19689. - Ditzingen: Reclam, 2020. - 121 Seiten : 8 Illustrationen, ISBN 978-3-15-011296-0 ([Was bedeutet das alles?]) Themen: Berechenbarkeit \| Big Data \| Data Science \| Entscheidungsfindung \| Entscheidungstheorie \| Erweiterung \| Faktor Mensch \| Informationsethik \| Intelligenz \| Künstliche Intelligenz \| Maschinelles Lernen Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: UBN/SU 100 R172 → Andere Auflagen/Ausgaben
6.	The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; proceedings / Paola Bonizzoni ... (ed.). - Berlin ; Heidelberg [u.a.]: Springer, 2013. - XVIII, 446 S. : Ill., graph. Darst., ISBN 978-3-642-39052-4 (Lecture notes in computer science ; 7921) Themen: Berechenbarkeit \| Berechnungskomplexität \| Berechnungstheorie Buch/keine Angabe → Artikel → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	Bibliographieeintrag → Andere Auflagen/Ausgaben
7.	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 Themen: Algorithmische Informationstheorie \| Algorithmus \| Berechenbarkeit \| Komplexitätstheorie Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-19359 → Andere Auflagen/Ausgaben
8.	Sannella, Donald: Introduction to computation : Haskell, logic and automata / Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler. - Cham, Switzerland: Springer, [2021]. - XVI, 366 Seiten : Illustrationen, ISBN 978-3-030-76907-9 (Undergraduate topics in computer science) Themen: Automatentheorie \| Berechenbarkeit \| HASKELL Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
9.	Boolos, George: Computability and logic / George S. Boolos; Richard C. Jeffrey. - 3. ed.. - Cambridge ; New York: Cambridge University Press, 1989. - X, 304 S. : graph. Darst., ISBN 978-0-521-38026-3 (Open university set book) Themen: Berechenbarkeit \| Mathematische Logik Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
10.	Weihrauch, Klaus: Computability / Klaus Weihrauch. - Berlin ; Heidelberg ; New York ; London: Springer, 1987. - X, 517 Seiten : Diagramme, ISBN 978-3-540-13721-4 (EATCS monographs on theoretical computer science ; 9) Themen: Berechenbarkeit Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
11.	Küppers, Bernd-Olaf: The Computability of the World : How Far Can Science Take Us? / by Bernd-Olaf Küppers. - Cham: Springer, 2018. - Online-Ressource (X, 200 p. 40 illus., 38 illus. in color, online resource), ISBN 978-3-319-67369-1 (The Frontiers Collection) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-67369-1 Themen: Berechenbarkeit \| Naturwissenschaften \| Naturwissenschaftliche Erkenntnis \| Ungelöstes Problem \| Wissenschaft Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
12.	Busse, Edgar: Finite-state genericity : on the diagonalization strength of finite automata / Edgar Busse, 2006. - Online-Ressource Themen: Automat \| Automat <Automatentheorie> \| Berechenbarkeit \| Berechnungskomplexität \| Generizität \| Komplexitätstheorie \| Ressourcenbeschränkte Generizität Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
13.	Stampfl, Nora S.: Die berechnete Welt : Leben unter dem Einfluss von Algorithmen / Nora S. Stampfl. - 1. Aufl.. - Hannover: Heise, 2013. - VII, 115 S., ISBN 978-3-944099-03-3 (Telepolis) Themen: Alltag \| Berechenbarkeit \| Big Data \| Datenanalyse \| Informationsgesellschaft \| Verhalten Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	ausleihbar Signatur: 2014 A 3232 → Andere Auflagen/Ausgaben
14.	Soare, Robert I.: Turing Computability : Theory and Applications / by Robert I. Soare. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XXXVI, 263 p. 4 illus, online resource), ISBN 978-3-642-31933-4 (Theory and Applications of Computability, In cooperation with the association Computability in Europe) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-642-31933-4 Themen: Berechenbarkeit \| Turing-Maschine Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
15.	Kräling, Thorsten: Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees / Thorsten Kräling, 2014. - Online-Ressource (153 S.) DOI: 10.11588/heidok.00016720 Themen: Berechenbarkeit \| Turing-Reduzierbarkeit \| Verband <Mathematik> Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
16.	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 Themen: Automat <Automatentheorie> \| Berechenbarkeit \| Formale Sprache \| Komplexitätstheorie \| Theoretische Informatik Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
17.	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 Themen: Algorithmus \| Berechenbarkeit \| Graph \| Kombinatorik \| Theoretische Informatik Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
18.	Kräling, Thorsten: Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees / vorgelegt von Thorsten Kräling, 2014. - X, 143 S. Themen: Berechenbarkeit \| Turing-Reduzierbarkeit \| Verband <Mathematik> Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: 2014 U 417 → Weitere Exemplare → Andere Auflagen/Ausgaben
19.	Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 / Felipe Cucker ... (ed.). - Berlin ; Heidelberg [u.a.]: Springer, 1997. - XV, 441 S : graph. Darst, ISBN 978-3-540-61647-4 Themen: Berechenbarkeit \| Numerische Mathematik Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
20.	Cohen, Daniel E.: Computability and logic / Daniel E. Cohen. - Chichester: Ellis Horwood [u.a.], 1987. - 243 S., ISBN 978-0-7458-0034-9 (Statistics and operational research) (Mathematics and its applications) Themen: Automatentheorie \| Berechenbarkeit \| Mathematische Logik Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design