Search results
Catalogue
Search mask
Limit or broaden search results
Search filters set
Access
Source Type
Language
Subject
Subject Heading
- Formale Sprache 23 Hits
- Automatentheorie 18 Hits
- Berechenbarkeit 5 Hits
- Berechnungstheorie 3 Hits
- Automat (Automatentheorie) 2 Hits
-
45 additional values:
- Endlicher Automat 2 Hits
- Funktionale Programmierung 2 Hits
- Gruppentheorie 2 Hits
- Kontextfreie Grammatik 2 Hits
- Kontextfreie Sprache 2 Hits
- Logische Programmierung 2 Hits
- Programmiersprache 2 Hits
- Sprache 2 Hits
- Syntaktische Analyse 2 Hits
- Abstrakter Automat 1 Hit
- Algorithmus 1 Hit
- Applied logic 1 Hit
- Automat 1 Hit
- Automatic theorem proving 1 Hit
- Automatisches Beweisverfahren 1 Hit
- Bioinformatik 1 Hit
- Compiler-Compiler 1 Hit
- Computerlinguistik 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
- Graph-Grammatik 1 Hit
- Graphische Benutzeroberfläche 1 Hit
- Group theory 1 Hit
- Hybrides System 1 Hit
- Hybridrechner 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
- Natürliche Sprache 1 Hit
- Programmierung 1 Hit
- Programmverifikation 1 Hit
- Prüftheorie 1 Hit
- Reguläre Sprache 1 Hit
- Rekursive Funktion 1 Hit
- Sprachphilosophie 1 Hit
47 Hits
-
Siegen, 2019Monograph, Academic Publication, Printed ResourceAccess:
-
Cambridge: Cambridge University Press, 2017Monograph, Printed ResourceAccess:
-
Wiesbaden: Springer Vieweg, 2013Monograph, Text book, Printed ResourceAccess:
-
Dordrecht [u.a.]: Springer, 2009Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2009Festschrift, Conference proceedings, Edited collection, Printed ResourceAccess:
-
London: Springer, 2009Monograph, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2009Monograph, Text book, Printed ResourceAccess:
-
1. Aufl.. - Wiesbaden: Vieweg + Teubner, 2009Monograph, Text book, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2008Conference proceedings, Edited collection, 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:
-
Berlin [u.a.}: Springer, 2006Conference proceedings, Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2006Conference proceedings, Edited collection, 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:
-
Reprint.. - Oxford: Clarendon Press, 2001Monograph, Printed ResourceAccess:
-
Boston [u.a.]: Birkhäuser, 2001Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2000Conference proceedings, Edited collection, Printed ResourceAccess: