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.

Aktuelles

Am Dienstag, 9.7., sind die Ausleihen der Universitätsbibliothek (Haupt- und Zweigstelle) geschlossen. mehr...

Suchhistorie (1 Recherche)

Suchfilter: ohne Zeitschriften, Zeitungen

[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) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9709) 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.	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
4.	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
5.	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
6.	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
7.	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
8.	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
9.	Berechenbarkeit der Welt? : Philosophie und Wissenschaft im Zeitalter von Big Data / Wolfgang Pietsch, Jörg Wernecke, Maximilian Ott (Hrsg.). - Wiesbaden: Springer VS, 2017. - 1 Online-Ressource (XII, 562 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-12153-2 (SpringerLink : Bücher) DOI: 10.1007/978-3-658-12153-2 Themen: Berechenbarkeit \| Big Data \| Ethik \| Interdisziplinäre Forschung \| Komplexität Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
10.	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
11.	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
12.	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	ausleihbar Signatur: 2014 A 3232 → Andere Auflagen/Ausgaben
13.	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
14.	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
15.	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
16.	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) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9797) 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
17.	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
18.	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
19.	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
20.	Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 ; proceedings / S. Barry Cooper; Benedikt Löwe; Andrea Sorbi (eds.). - Berlin ; Heidelberg [u.a.]: Springer, 2007. - XVIII, 826 S. : graph. Darst., ISBN 978-3-540-73000-2 (Lecture notes in computer science ; 4497) Themen: Berechenbarkeit \| Berechnungstheorie \| Komplexitätstheorie \| Logik \| Theoretische Informatik Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	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