|
1 |
 |
Automaten, Sprachen und Maschinen für Anwender [Buch]
|
Albert, Jürgen
|
1990 |
 500017750
|
Regalstandort: ST 130 A333.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
2 |
 |
Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings [E-Book]
|
|
2017 |
500252452
|
.
|
|
3 |
 |
Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings [E-Book]
|
|
2017 |
500255504
|
.
|
|
4 |
 |
Einführung in die Informatik: Theoretische und praktische Grundlagen [E-Book]
|
Küppers, Bastian
|
2022 |
|
.
|
|
5 |
 |
Einführung in die theoretische Informatik: formale Sprachen und Automatentheorie [Buch]
|
Hedtstück, Ulrich
|
2007 |
|
Regalstandort: ST 136 H456(4).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
6 |
 |
Formal aspects of computing: applicable formal methods [Buch]
|
|
1989 |
|
.
|
|
7 |
 |
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung [E-Book]
|
Wagenknecht, Christian
|
2022 |
|
.
|
|
8 |
 |
Foundations of logic and mathematics: applications to computer science and cryptography [Buch]
|
Nievergelt, Yves
|
2002 |
|
Regalstandort: SK 130 N682.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
9 |
 |
Grundkurs theoretische Informatik: eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen [Buch]
|
Vossen, Gottfried
|
2006 |
|
Regalstandort: 68 561.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
10 |
 |
Grundkurs theoretische Informatik: mit Aufgaben und Prüfungsfragen [Buch]
|
Hollas, Boris
|
2007 |
|
Regalstandort: ST 130 H737.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
|
|
11 |
 |
Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen [E-Book]
|
Vossen, Gottfried
|
2016 |
|
.
|
|
12 |
 |
Grundkurs Theoretische Informatik: eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen [Buch]
|
Vossen, Gottfried
|
2016 |
|
Regalstandort: ST 120 V969(6).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
|
|
13 |
 |
Ideen der Informatik: grundlegende Modelle und Konzepte [Buch]
|
Schöning, Uwe
|
2002 |
|
Regalstandort: ST 120 S365.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
14 |
 |
Informatik, Programmieren, Kybernetik [Buch] Medientechnisches Wissen
|
|
2019 |
 500384488
|
Regalstandort: AP 12910 H694-2.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
15 |
 |
Informatik-Bausteine: eine komprimierte Einführung [E-Book]
|
Hower, Walter
|
2019 |
|
.
|
|
16 |
 |
Information, physics, and computation [E-Book]
|
Mézard, Marc
|
2009 |
|
.
|
|
17 |
 |
Kompendium theoretische Informatik - eine Ideensammlung [Buch]
|
Wegener, Ingo
|
1996 |
|
Regalstandort: ST 120 W411.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
18 |
 |
Logic in computer science: modelling and reasoning about systems [Buch]
|
Huth, Michael
|
2008 |
|
Regalstandort: ST 130 H979(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
19 |
 |
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets [E-Book]
|
Brandau, Christoph
|
2019 |
|
.
|
|
20 |
 |
Recent Advances in Formal Languages and Applications [E-Book]
|
|
2006 |
|
.
|
