Skip to contents Handbook of formal languages / 3, Beyond words Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 3 Handbook of formal languages / 2, Linear modeling, background and application Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 2 Handbook of formal languages / 1, Word, language, grammar Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 1 Salomaa, Arto [Author] Formale Sprachen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg [u.a.]: Springer, 1978 Salomaa, Arto [Author] Formal languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Acad. Press, 1973 Published in: ACM monograph series Pilch, Herbert [Other]; Schulte-Tigges, Friedhelm [Other] Die Struktur formalisierter Sprachen : Diskussionsbeiträge und Protokolle eines Kolloquiums im Wintersemester 1963/1964 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Darmstadt: Deutsches Rechenzentrum, 1965 Published in: Deutsches Rechenzentrum: Schriftenreihe des Deutschen Rechenzentrums ; 1 Osterholzer, Johannes [Author] ; Technische Universität Dresden New results on context-free tree languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 04. Mai 2018 Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [3., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2004 Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [2., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2003 Simovici, Dan A. [Author]; Tenney, Richard L. [Author] Theory of formal languages with applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore [u.a.]: World Scientific, 1999 Biere, Armin [Author] Effiziente Modellprüfung des my-Kalküls mit binären Entscheidungsdiagrammen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997 Rozenberg, Grzegorz [Editor] Handbook of formal languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997- Floyd, Robert W. [Author]; Beigel, Richard [Author] Die Sprache der Maschinen - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bonn [u.a.]: International Thomson Publ., 1996 Published in: Informatik Lehrbuch-Reihe Hopcroft, John E. [Author]; Ullman, Jeffrey D. [Author] Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie - [3., korr. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bonn [u.a.]: Addison-Wesley, 1994 Published in: Internationale Computer-Bibliothek Formal aspects of computing : the internat. journal of formal methods Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin: Springer, 1989- / 1.1989 - Leeuwen, Jan van [Editor] Formal models and semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier [u.a.], 1990 Published in: Handbook of theoretical computer science ; B Odersky, Martin [Author] A new approach to formal language definition and its application to Oberon Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989 Wood, Derick [Author] Grammar and L forms : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 91 Berstel, Jean [Author] Transductions and context-free languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1979 Published in: Leitfäden der angewandten Mathematik und Mechanik ; 3800 Arbib, Michael A. [Editor] Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen : mit 4 Tab. Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Akad.-Verl., 1973
Handbook of formal languages / 3, Beyond words Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 3
Handbook of formal languages / 2, Linear modeling, background and application Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 2
Handbook of formal languages / 1, Word, language, grammar Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Handbook of formal languages / G. Rozenberg; A. Salomaa (ed.) ; 1
Salomaa, Arto [Author] Formale Sprachen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg [u.a.]: Springer, 1978
Salomaa, Arto [Author] Formal languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Acad. Press, 1973 Published in: ACM monograph series
Pilch, Herbert [Other]; Schulte-Tigges, Friedhelm [Other] Die Struktur formalisierter Sprachen : Diskussionsbeiträge und Protokolle eines Kolloquiums im Wintersemester 1963/1964 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Darmstadt: Deutsches Rechenzentrum, 1965 Published in: Deutsches Rechenzentrum: Schriftenreihe des Deutschen Rechenzentrums ; 1
Osterholzer, Johannes [Author] ; Technische Universität Dresden New results on context-free tree languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 04. Mai 2018
Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [3., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2004
Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [2., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2003
Simovici, Dan A. [Author]; Tenney, Richard L. [Author] Theory of formal languages with applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore [u.a.]: World Scientific, 1999
Biere, Armin [Author] Effiziente Modellprüfung des my-Kalküls mit binären Entscheidungsdiagrammen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997
Rozenberg, Grzegorz [Editor] Handbook of formal languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997-
Floyd, Robert W. [Author]; Beigel, Richard [Author] Die Sprache der Maschinen - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bonn [u.a.]: International Thomson Publ., 1996 Published in: Informatik Lehrbuch-Reihe
Hopcroft, John E. [Author]; Ullman, Jeffrey D. [Author] Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie - [3., korr. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bonn [u.a.]: Addison-Wesley, 1994 Published in: Internationale Computer-Bibliothek
Formal aspects of computing : the internat. journal of formal methods Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin: Springer, 1989- / 1.1989 -
Leeuwen, Jan van [Editor] Formal models and semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier [u.a.], 1990 Published in: Handbook of theoretical computer science ; B
Odersky, Martin [Author] A new approach to formal language definition and its application to Oberon Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989
Wood, Derick [Author] Grammar and L forms : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 91
Berstel, Jean [Author] Transductions and context-free languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1979 Published in: Leitfäden der angewandten Mathematik und Mechanik ; 3800
Arbib, Michael A. [Editor] Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen : mit 4 Tab. Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Akad.-Verl., 1973
> Media type Skip to next facet Books (440) Wert ausschließen Articles (14) Wert ausschließen Thesis (14) Wert ausschließen Videos (4) Wert ausschließen Journals / Newspapers / Series (3) Wert ausschließen Conference Proceedings (3) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (69) Wert ausschließen Stack Collection (175) Wert ausschließen Ask for availability (17) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (166) Wert ausschließen Central Library (113) Wert ausschließen TU Dresden holdings (13) Wert ausschließen Branch Library of Medicine (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (7) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (2) Wert ausschließen In Copyright - Non-commercial Use Permitted (1) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Attribution - Share Alike (CC BY-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (109) Wert ausschließen Restricted Access (8) Wert ausschließen Without Specification (124) Wert ausschließen Show more show less
> Language Skip to next facet English (340) Wert ausschließen German (153) Wert ausschließen French (8) Wert ausschließen Not determined (8) Wert ausschließen Russian (2) Wert ausschließen Turkish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (303) Wert ausschließen Mathmatics (153) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (37) Wert ausschließen Philosophy (17) Wert ausschließen Technology (14) Wert ausschließen Economics (12) Wert ausschließen Biology (8) Wert ausschließen General (3) Wert ausschließen Musicology (3) Wert ausschließen Physics (3) Wert ausschließen Psychology (3) Wert ausschließen Theology and religious studies (3) Wert ausschließen General sciences (2) Wert ausschließen Chemistry and pharmacology (2) Wert ausschließen Germanic and Scandinavian studies (2) Wert ausschließen Medicine (2) Wert ausschließen Sociology (2) Wert ausschließen American studies (1) Wert ausschließen Geography (1) Wert ausschließen Art and art history (1) Wert ausschließen Jurisprudence (1) Wert ausschließen Sports science (1) Wert ausschließen Show more show less
> Creator Skip to next facet Hotz, Günter (18) Wert ausschließen Martín-Vide, Carlos (11) Wert ausschließen Salomaa, Arto (11) Wert ausschließen Dediu, Adrian-Horia (10) Wert ausschließen Hopcroft, John E. (10) Wert ausschließen Rozenberg, Grzegorz (10) Wert ausschließen Ullman, Jeffrey D. (10) Wert ausschließen Hromkovič, Juraj (7) Wert ausschließen Pandu Rangan, C. (7) Wert ausschließen Vogler, Heiko (7) Wert ausschließen Walter, Hermann (7) Wert ausschließen Hedtstück, Ulrich (6) Wert ausschließen Hutchison, David (6) Wert ausschließen Kanade, Takeo (6) Wert ausschließen Kittler, Josef (6) Wert ausschließen Kleinberg, Jon (6) Wert ausschließen Mattern, Friedemann (6) Wert ausschließen Mitchell, John C. (6) Wert ausschließen Naor, Moni (6) Wert ausschließen Nierstrasz, Oscar (6) Wert ausschließen Păun, Gheorghe (6) Wert ausschließen Steffen, Bernhard (6) Wert ausschließen Sudan, Madhu (6) Wert ausschließen Terzopoulos, Demetri (6) Wert ausschließen Truthe, Bianca (6) Wert ausschließen Tygar, Doug (6) Wert ausschließen Vardi, Moshe Y. (6) Wert ausschließen Weikum, Gerhard (6) Wert ausschließen Diekert, Volker (5) Wert ausschließen Fernau, Henning (5) Wert ausschließen Langmaack, Hans (5) Wert ausschließen Martín Vide, Carlos (5) Wert ausschließen Motwani, Rajeev (5) Wert ausschließen Rumpe, Bernhard (5) Wert ausschließen Schnorr, Claus Peter (5) Wert ausschließen Bozapalidis, Symeon (4) Wert ausschließen Calude, Cristian (4) Wert ausschließen Claus, Volker (4) Wert ausschließen Dassow, Jürgen (4) Wert ausschließen Drewes, Frank (4) Wert ausschließen Flum, Jörg (4) Wert ausschließen Hielscher, Michael (4) Wert ausschließen Ito, Masami (4) Wert ausschließen Kopecki, Steffen (4) Wert ausschließen Kutrib, Martin (4) Wert ausschließen Lindenmayer, Aristid (4) Wert ausschließen Maurer, Hermann (4) Wert ausschließen Rahonis, George (4) Wert ausschließen Toyama, Masafumi (4) Wert ausschließen Wagenknecht, Christian (4) Wert ausschließen Wood, Derick (4) Wert ausschließen Yu, Sheng (4) Wert ausschließen Ésik, Zoltán (4) Wert ausschließen Aloni, Maria (3) Wert ausschließen Arbib, Michael A. (3) Wert ausschließen Atkinson, Colin (3) Wert ausschließen Brauer, Wilfried (3) Wert ausschließen Böhling, Karl-Heinz (3) Wert ausschließen De Nicola, Rocco (3) Wert ausschließen Eberhard Karls Universität Tübingen (3) Wert ausschließen Fülöp, Zoltán (3) Wert ausschließen Gesellschaft für Informatik (3) Wert ausschließen Heinlein, Christian (3) Wert ausschließen Ibarra, Oscar H. (3) Wert ausschließen Indermark, Klaus (3) Wert ausschließen Itō, Masami (3) Wert ausschließen Karhumäki, Juhani (3) Wert ausschließen Kelemen, Jozef (3) Wert ausschließen Kuich, Werner (3) Wert ausschließen Lange, Martin (3) Wert ausschließen Lentin, André (3) Wert ausschließen Leporati, Alberto (3) Wert ausschließen Nowotka, Dirk (3) Wert ausschließen Otto, Friedrich (3) Wert ausschließen Pech, Christian (3) Wert ausschließen Pogodalla, Sylvain (3) Wert ausschließen Schulz, Katrin (3) Wert ausschließen Steel, Thomas B. (3) Wert ausschließen Thomas, Wolfgang (3) Wert ausschließen Wei, Wei (3) Wert ausschließen Abeck, Sebastian (2) Wert ausschließen Aggarwal, Jake K. (2) Wert ausschließen Bastiaanse, Harald (2) Wert ausschließen Bauer, Friedrich L. (2) Wert ausschließen Beigel, Richard (2) Wert ausschließen Berstel, Jean (2) Wert ausschließen Blache, Philippe (2) Wert ausschließen Blum, Norbert (2) Wert ausschließen Borchert, Bernd (2) Wert ausschließen Bordihn, Henning (2) Wert ausschließen Braffort, Paul (2) Wert ausschließen Bucher, Walter (2) Wert ausschließen Béal, Marie-Pierre (2) Wert ausschließen Böckenhauer, Hans-Joachim (2) Wert ausschließen Böhling, Karl Heinz (2) Wert ausschließen Dang, Zhe (2) Wert ausschließen De Felice, Clelia (2) Wert ausschließen Demmig, Thomas (2) Wert ausschließen Dingel, Jürgen (2) Wert ausschließen Drossopoulou, Sophia (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (410) Wert ausschließen Lizenzfreie Online-Ressourcen (58) Wert ausschließen BASE - Bielefeld Academic Search Engine (28) Wert ausschließen Diss online (26) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (5) Wert ausschließen Qucosa (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (3) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (3) Wert ausschließen Publication Server of the Justus-Liebig-University of Giessen (3) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (2) Wert ausschließen University of Freiburg: FreiDok (2) Wert ausschließen Berlin-Brandenburgischen Akademie der Wissenschaften (BBAW): Publications (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen ETH Zürich Research Collection (1) Wert ausschließen Forschungszentrum Jülich: JuSER (Juelich Shared Electronic Resources) (1) Wert ausschließen Hamburg University, Department of Informatics: INFDok (1) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Passau University: OPUS (1) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (1) Wert ausschließen Universität Siegen: OPUS Siegen (1) Wert ausschließen Würzburg University: Online Publication Service (1) Wert ausschließen noah.nrw (1) Wert ausschließen Show more show less