Search results
Catalogue
Search mask
Limit or broaden search results
Search filters set
Access
Media Type
Source Type
Subject
Subject Heading
- Formale Sprache 8 Hits
- Automatentheorie 3 Hits
- Berechenbarkeit 2 Hits
- Abstrakter Automat 1 Hit
- Algorithmus 1 Hit
-
18 additional values:
- Automatisches Beweisverfahren 1 Hit
- Berechnungstheorie 1 Hit
- Compiler-Compiler 1 Hit
- Endliche Modelltheorie 1 Hit
- Endlicher Automat 1 Hit
- Formale Beschreibungstechnik 1 Hit
- Geschichte 1971 1 Hit
- Graphische Benutzeroberfläche 1 Hit
- Kontextfreie Grammatik 1 Hit
- Lexikalische Analyse 1 Hit
- Logik 1 Hit
- Logische Sprache 1 Hit
- Mathematische Linguistik 1 Hit
- Stochastischer Automat 1 Hit
- Syntaktische Analyse 1 Hit
- Syntax 1 Hit
- Theoretische Informatik 1 Hit
- Zellularer Automat 1 Hit
15 Hits
-
Wiesbaden: Springer Vieweg, 2013Monograph, Text book, Printed ResourceAccess:
-
1. Aufl.. - Wiesbaden: Vieweg + Teubner, 2009Monograph, Text book, Printed ResourceAccess:
-
München [u.a.]: Oldenbourg, 2007Monograph, Text book, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2004Monograph, Printed ResourceAccess:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2000Monograph, Introduction, Printed ResourceAccess:
-
München [u.a.]: Oldenbourg, 1995Monograph, Academic Publication, Printed ResourceAccess:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monograph, Printed ResourceAccess:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1993Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1992Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1988Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1979Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1978Monograph, Printed ResourceAccess:
-
Stuttgart: Teubner, 1971Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1971Monograph, Printed ResourceAccess:
-
2., unveränd. Aufl.. - Wien [u.a.]: Springer, 1968Monograph, Printed ResourceAccess: