Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach BERECHENBARKEIT ergibt 21 Einträge

Suchergebnisseite: .   1 NNN 2 .   . zum Satzanfang Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Algorithmen und Berechenbarkeit: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik Algorithmen und Berechenbarkeit: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik [Buch] Bretz, Manfred 1992 Buch URL Exists Catalogue Record Regalstandort: ST 130 B845.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
2 Algorithmik: Die Kunst des Rechnens Algorithmik: Die Kunst des Rechnens [E-Book]   2006 E-Book URL Exists Catalogue Record .
3 Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen [E-Book] Witt, Kurt-Ulrich 2020 E-Book URL Exists Catalogue Record .
4 Automaten, Sprachen, Berechenbarkeit Automaten, Sprachen, Berechenbarkeit [Buch] Sander, Peter 1992 Reihenverknüpfung anzeigen für Katalogsatz 500021408500021408 Buch URL Exists Catalogue Record Regalstandort: ST 130 S214-4.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
5 Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium [Buch] Hromkovič, Juraj 2011 Buch URL Exists Catalogue Record Regalstandort: ST 130 H873.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
6 Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit [E-Book] Hromkovič, Juraj 2011 E-Book URL Exists Catalogue Record .
7 Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data [E-Book]   2017 E-Book URL Exists Catalogue Record .
8 Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255504500255504 E-Book URL Exists Catalogue Record .
9 Computing Nature: Turing Centenary Perspective Computing Nature: Turing Centenary Perspective [E-Book] Dodig-Crnkovic, Gordana 2013 E-Book URL Exists Catalogue Record .
10 Grundkurs theoretische Informatik Grundkurs theoretische Informatik [Buch] Posthoff, Christian 1992 Buch URL Exists Catalogue Record Regalstandort: ST 130 P857.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
11 Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen [E-Book] Vossen, Gottfried 2016 E-Book URL Exists Catalogue Record .
12 Leben als Maschine: wie entschlüsseln wir den Corona-Kode? von der Systembiologie und Bioinformatik zu Robotik und Künstlicher Intelligenz Leben als Maschine: wie entschlüsseln wir den Corona-Kode? von der Systembiologie und Bioinformatik zu Robotik und Künstlicher Intelligenz [E-Book] Mainzer, Klaus 2020 E-Book URL Exists Catalogue Record .
13 Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) [E-Book] Pelta, David Alejandro 2011 E-Book URL Exists Catalogue Record .
14 Petri-Netze Petri-Netze [E-Book]   2008 E-Book URL Exists Catalogue Record .
15 Philosophy and Theory of Artificial Intelligence Philosophy and Theory of Artificial Intelligence [E-Book] Müller, Vincent C. 2013 E-Book URL Exists Catalogue Record .
16 Physical computation and cognitive science Physical computation and cognitive science [E-Book] Fresco, Nir 2014 E-Book URL Exists Catalogue Record .
17 Proofs and algorithms: an introduction to logic and computability Proofs and algorithms: an introduction to logic and computability [Buch] Dowek, Gilles 2011 Buch URL Exists Catalogue Record Regalstandort: ST 134 D746.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
18 ¬Die¬ Sprache der Maschinen ¬Die¬ Sprache der Maschinen [Buch] Floyd, Robert W. 1996 Buch URL Exists Catalogue Record Regalstandort: ST 130 F645.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
19 Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500251736500251736 E-Book URL Exists Catalogue Record .
20 Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz [E-Book] Dixon, Peter B. 2018 E-Book URL Exists Catalogue Record .
Suchergebnisseite: .   1 NNN 2 .   . Bottom Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche