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](Cover.cls?type=cover&isbn=9783528052331&size=100) |
Algorithmen und Berechenbarkeit: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik [Buch]
|
Bretz, Manfred
|
1992 |
|
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](Cover.cls?type=cover&isbn=9783540374374&size=100) |
Algorithmik: Die Kunst des Rechnens [E-Book]
|
|
2006 |
|
.
|
3 |
![Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen](Cover.cls?type=cover&isbn=9783662616949&size=100) |
Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen [E-Book]
|
Witt, Kurt-Ulrich
|
2020 |
|
.
|
4 |
![Automaten, Sprachen, Berechenbarkeit Automaten, Sprachen, Berechenbarkeit](Cover.cls?type=cover&isbn=9783519029373&size=100) |
Automaten, Sprachen, Berechenbarkeit [Buch]
|
Sander, Peter
|
1992 |
500021408
|
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](Cover.cls?type=cover&isbn=9783834815095&size=100) |
Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium [Buch]
|
Hromkovič, Juraj
|
2011 |
|
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](Cover.cls?type=cover&isbn=9783834899378&size=100) |
Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit [E-Book]
|
Hromkovič, Juraj
|
2011 |
|
.
|
7 |
![Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data](Cover.cls?type=cover&isbn=9783658121532&size=100) |
Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data [E-Book]
|
|
2017 |
|
.
|
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](Cover.cls?type=cover&isbn=9783319623894&size=100) |
Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings [E-Book]
|
|
2017 |
500255504
|
.
|
9 |
![Computing Nature: Turing Centenary Perspective Computing Nature: Turing Centenary Perspective](Cover.cls?type=cover&isbn=9783642372254&size=100) |
Computing Nature: Turing Centenary Perspective [E-Book]
|
Dodig-Crnkovic, Gordana
|
2013 |
|
.
|
10 |
![Grundkurs theoretische Informatik Grundkurs theoretische Informatik](Cover.cls?type=cover&isbn=9783815420362&size=100) |
Grundkurs theoretische Informatik [Buch]
|
Posthoff, Christian
|
1992 |
|
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](Cover.cls?type=cover&isbn=9783834822024&size=100) |
Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen [E-Book]
|
Vossen, Gottfried
|
2016 |
|
.
|
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](Cover.cls?type=cover&isbn=9783957436894&size=100) |
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 |
|
.
|
13 |
![Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) Nature Inspired Cooperative Strategies for Optimization (NICSO 2011)](Cover.cls?type=cover&isbn=9783642240942&size=100) |
Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) [E-Book]
|
Pelta, David Alejandro
|
2011 |
|
.
|
14 |
![Petri-Netze Petri-Netze](Cover.cls?type=cover&isbn=9783540769712&size=100) |
Petri-Netze [E-Book]
|
|
2008 |
|
.
|
15 |
![Philosophy and Theory of Artificial Intelligence Philosophy and Theory of Artificial Intelligence](Cover.cls?type=cover&isbn=9783642316746&size=100) |
Philosophy and Theory of Artificial Intelligence [E-Book]
|
Müller, Vincent C.
|
2013 |
|
.
|
16 |
![Physical computation and cognitive science Physical computation and cognitive science](Cover.cls?type=cover&isbn=9783642413759&size=100) |
Physical computation and cognitive science [E-Book]
|
Fresco, Nir
|
2014 |
|
.
|
17 |
![Proofs and algorithms: an introduction to logic and computability Proofs and algorithms: an introduction to logic and computability](Cover.cls?type=cover&isbn=9780857291202&size=100) |
Proofs and algorithms: an introduction to logic and computability [Buch]
|
Dowek, Gilles
|
2011 |
|
Regalstandort: ST 134 D746.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
18 |
![¬Die¬ Sprache der Maschinen ¬Die¬ Sprache der Maschinen](Cover.cls?type=cover&isbn=9783826602160&size=100) |
¬Die¬ Sprache der Maschinen [Buch]
|
Floyd, Robert W.
|
1996 |
|
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](Cover.cls?type=cover&isbn=9783319559117&size=100) |
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings [E-Book]
|
|
2017 |
500251736
|
.
|
20 |
![Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz](Cover.cls?type=cover&isbn=9789811083259&size=100) |
Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz [E-Book]
|
Dixon, Peter B.
|
2018 |
|
.
|