|
1 |
 |
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [E-Book]
|
|
2006 |
|
.
|
|
2 |
 |
Analyse [Buch] Compilerbau
|
|
1988 |
 500012315
|
Regalstandort: ST 255 Z71-1(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
3 |
 |
Automata, Universality, Computation: Tribute to Maurice Margenstern [E-Book]
|
Adamatzky, Andrew
|
2015 |
|
.
|
|
4 |
 |
Automaten, Sprachen, Berechenbarkeit [Buch]
|
Sander, Peter
|
1992 |
 500021408
|
Regalstandort: ST 130 S214-4.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
|
|
5 |
 |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
|
6 |
 |
Automatisierungssysteme und -strukturen, Computer- und Bussysteme für die Anlagen- und Produktautomatisierung, Echtzeitprogrammierung und Echtzeitbetriebssysteme, Zuverlässigkeits- und Sicherheitstechnik [Buch] Prozessautomatisierung
|
|
1999 |
 500058343
|
Regalstandort: ZQ 4200 L366-1(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
|
|
7 |
 |
Building expert systems in Prolog [Buch]
|
Merritt, Dennis
|
1989 |
|
Regalstandort: ST 302 M572.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
8 |
 |
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
|
9 |
 |
Control of Discrete-Event Systems: Automata and Petri Net Perspectives [E-Book]
|
Seatzu, Carla
|
2013 |
500176965
|
.
|
|
10 |
 |
Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings [E-Book]
|
|
2017 |
500254601
|
.
|
|
11 |
 |
Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings [E-Book]
|
|
2017 |
500255513
|
.
|
|
12 |
 |
Discrete-Time and Discrete-Space Dynamical Systems [E-Book]
|
Zhang, Kuize
|
2020 |
|
.
|
|
13 |
 |
Einführung in die Technische Informatik [Buch]
|
Schildt, Gerhard-Helge
|
2003 |
|
Regalstandort: ST 150 S334.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
14 |
 |
Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie [E-Book]
|
Hedtstück, Ulrich
|
2012 |
|
.
|
|
15 |
 |
Embedded Systems Design Based on Formal Models of Computation [E-Book]
|
Radojevic, Ivan
|
2011 |
|
.
|
|
16 |
 |
Formal Methods for Discrete-Time Dynamical Systems [E-Book]
|
Belta, Calin
|
2017 |
|
.
|
|
17 |
 |
Fuzzy Semirings with Applications to Automata Theory [E-Book]
|
Ahsan, Javed
|
2012 |
|
.
|
|
18 |
 |
Grammatical Inference: Algorithms, Routines and Applications [E-Book]
|
Wieczorek, Wojciech
|
2017 |
|
.
|
|
19 |
 |
Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings [E-Book]
|
|
2017 |
500254600
|
.
|
|
20 |
 |
Informatik - eine konstruktive Einführung: LISP, PROLOG und andere Konzepte der Programmierung [Buch]
|
Schefe, Peter
|
1987 |
500009606
|
Regalstandort: 26 615/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
