Search results
Catalogue
Search mask
Limit or broaden search results
Search filters set
Access
Media Type
Source Type
Subject
Subject Heading
- Automatentheorie 14 Hits
- Formale Sprache 14 Hits
- Berechenbarkeit 3 Hits
- Automat (Automatentheorie) 2 Hits
- Berechnungstheorie 2 Hits
-
33 additional values:
- Funktionale Programmierung 2 Hits
- Gruppentheorie 2 Hits
- Logische Programmierung 2 Hits
- Sprache 2 Hits
- Applied logic 1 Hit
- Automat 1 Hit
- Automatic theorem proving 1 Hit
- Bioinformatik 1 Hit
- Computerlinguistik 1 Hit
- Endlicher Automat 1 Hit
- Englisch 1 Hit
- Formal languages 1 Hit
- Formale Semantik 1 Hit
- Graph-Grammatik 1 Hit
- Group theory 1 Hit
- Hybrides System 1 Hit
- Hybridrechner 1 Hit
- Kategorialgrammatik 1 Hit
- Kontextfreie Sprache 1 Hit
- Linguistik 1 Hit
- Logic, Symbolic and mathematical 1 Hit
- Machine theory 1 Hit
- Mathematische Logik 1 Hit
- Natürliche Sprache 1 Hit
- Programmiersprache 1 Hit
- Programmierung 1 Hit
- Programmverifikation 1 Hit
- Prüftheorie 1 Hit
- Reguläre Sprache 1 Hit
- Rekursive Funktion 1 Hit
- Sprachphilosophie 1 Hit
- Termersetzungssystem 1 Hit
- Typentheorie 1 Hit
31 Hits
-
Siegen, 2019Online Monograph, Academic Publication, Electronic ResourceAccess:
-
Siegen, 2019Monograph, Academic Publication, Printed ResourceAccess:
-
Cambridge: Cambridge University Press, 2017Monograph, 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:
-
Dordrecht [u.a.]: Springer, 2009Monograph, Printed ResourceAccess:
-
London: Springer, 2008Monograph, Introduction, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2008Conference proceedings, Edited collection, Printed ResourceAccess:
-
Berlin [u.a.}: Springer, 2006Conference proceedings, Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2006Conference proceedings, Edited collection, Printed ResourceAccess:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2006Monograph, Printed ResourceAccess:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 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:
-
Berlin [u.a.]: Springer, 2000Conference proceedings, Edited collection, Printed ResourceAccess:
-
Singapore [u.a.]: World Scientific, 1999Monograph, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1999Conference proceedings, Edited collection, Printed ResourceAccess: