Search results
Catalogue
Search mask
Limit or broaden search results
Search filters set
Access
Media Type
Source Type
Language
Subject
Subject Heading
- Formale Sprache 19 Hits
- Automatentheorie 13 Hits
- Berechenbarkeit 4 Hits
- Berechnungstheorie 3 Hits
- Endlicher Automat 2 Hits
-
39 additional values:
- Gruppentheorie 2 Hits
- Kontextfreie Grammatik 2 Hits
- Kontextfreie Sprache 2 Hits
- Programmiersprache 2 Hits
- Syntaktische Analyse 2 Hits
- Abstrakter Automat 1 Hit
- Algorithmus 1 Hit
- Applied logic 1 Hit
- Automatic theorem proving 1 Hit
- Automatisches Beweisverfahren 1 Hit
- Bioinformatik 1 Hit
- Compiler-Compiler 1 Hit
- Endliche Modelltheorie 1 Hit
- Englisch 1 Hit
- Formal languages 1 Hit
- Formale Beschreibungstechnik 1 Hit
- Formale Semantik 1 Hit
- Geschichte 1971 1 Hit
- Graphische Benutzeroberfläche 1 Hit
- Group theory 1 Hit
- Kategorialgrammatik 1 Hit
- Lexikalische Analyse 1 Hit
- Linguistik 1 Hit
- Logic, Symbolic and mathematical 1 Hit
- Logik 1 Hit
- Logische Sprache 1 Hit
- Machine theory 1 Hit
- Mathematische Linguistik 1 Hit
- Mathematische Logik 1 Hit
- Prüftheorie 1 Hit
- Reguläre Sprache 1 Hit
- Rekursive Funktion 1 Hit
- Sprachphilosophie 1 Hit
- Stochastischer Automat 1 Hit
- Syntax 1 Hit
- Termersetzungssystem 1 Hit
- Theoretische Informatik 1 Hit
- Typentheorie 1 Hit
- Zellularer Automat 1 Hit
35 Hits
-
Siegen, 2019Online Monograph, Academic Publication, Electronic ResourceAccess:
-
Siegen, 2019Monograph, Academic Publication, Printed ResourceAccess:
-
Cambridge: Cambridge University Press, 2017Monograph, Printed ResourceAccess:
-
Wiesbaden: Springer Vieweg, 2013Monograph, Text book, Printed ResourceAccess:
-
London: Springer, 2009Monograph, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2009Monograph, Text book, Printed ResourceAccess:
-
Dordrecht [u.a.]: Springer, 2009Monograph, Printed ResourceAccess:
-
1. Aufl.. - Wiesbaden: Vieweg + Teubner, 2009Monograph, Text book, Printed ResourceAccess:
-
London: Springer, 2008Monograph, Introduction, Printed ResourceAccess:
-
München [u.a.]: Oldenbourg, 2007Monograph, Text book, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2006Monograph, Printed ResourceAccess:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 2004Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2004Monograph, Printed ResourceAccess:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 2002Monograph, Printed ResourceAccess:
-
Boston [u.a.]: Birkhäuser, 2001Monograph, Printed ResourceAccess:
-
Reprint.. - Oxford: Clarendon Press, 2001Monograph, Printed ResourceAccess:
-
London [u.a.]: Springer, 2000Monograph, Printed ResourceAccess:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2000Monograph, Introduction, Printed ResourceAccess:
-
Singapore [u.a.]: World Scientific, 1999Monograph, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge University Press, 1998Monograph, Printed ResourceAccess: