|
1 |
 |
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty [E-Book]
|
Starczewski, Janusz T.
|
2013 |
|
.
|
|
2 |
 |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
|
3 |
 |
Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings [E-Book]
|
|
2017 |
 500256221
|
.
|
|
4 |
 |
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
|
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 |
 |
Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie [E-Book]
|
Hedtstück, Ulrich
|
2012 |
|
.
|
|
7 |
 |
Formale Sprachen: endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse [Buch]
|
Böckenhauer, Hans-Joachim
|
2013 |
|
Regalstandort: ST 130 B669.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
8 |
 |
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings [E-Book]
|
|
2017 |
500257449
|
.
|
|
9 |
 |
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings [E-Book]
|
|
2017 |
500244467
|
.
|
|
10 |
 |
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.
|
|
11 |
 |
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers [E-Book]
|
|
2017 |
500245311
|
.
|
|
12 |
 |
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings [E-Book]
|
|
2017 |
500255505
|
.
|
|
13 |
 |
Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings [E-Book]
|
|
2017 |
500256200
|
.
|
|
14 |
 |
Modellierung: Grundlagen und formale Methoden [E-Book]
|
Kastens, Uwe
|
2018 |
|
.
|
|
15 |
 |
New Developments in Formal Languages and Applications [E-Book]
|
|
2008 |
|
.
|
|
16 |
 |
Petri-Netze [E-Book]
|
|
2008 |
|
.
|
|
17 |
 |
Präzises Denken für Informatiker [E-Book]
|
Wolf, Karsten
|
2017 |
|
.
|
|
18 |
 |
Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings [E-Book]
|
|
2017 |
500256209
|
.
|
|
19 |
 |
Provably Correct Systems [E-Book]
|
|
2017 |
|
.
|
|
20 |
 |
Recent Advances in Formal Languages and Applications [E-Book]
|
|
2006 |
|
.
|
