Zum Inhalt springen

Simovici, Dan A. [Verfasser:in]; Tenney, Richard L. [Verfasser:in]

Theory of formal languages with applications

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Singapore [u.a.]: World Scientific, 1999
Rozenberg, Grzegorz [Herausgeber:in]

Handbook of formal languages

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1997-
Kühnemann, Armin [Verfasser:in]; Vogler, Heiko [Verfasser:in]

A pumping lemma for output languages of attributed tree transducers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Univ., Fak. für Informatik, 1994

Erschienen in: Ulmer Informatik-Berichte ; 94,02
Wood, Derick [Verfasser:in]

Grammar and L forms : an introduction

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1980

Erschienen in: Lecture notes in computer science ; 91
Pin, Jean Éric [Verfasser:in] ; Howie, A. [Sonstige Person, Familie und Körperschaft]

Varieties of formal languages - [Rev. and updated, Engl. ed., 1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: North Oxford Academic, 1986
Penttonen, Martti [Verfasser:in]

A normal form for context-sensitive grammars

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Turku: Turun Yliopisto, 1972

Erschienen in: Turun yliopisto: Turun Yliopiston julkaisuja / A / 1 ; 156
Urponen, Topi [Verfasser:in]

On axiom systems for regular expressions and on equations involving languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Turku: Turun Yliopisto, 1971

Erschienen in: Turun yliopisto: Turun Yliopiston julkaisuja / A / 1 ; 145
Bel-Enguix, Gemma [Herausgeber:in]; Jiménez-López, M. Dolores [Sonstige Person, Familie und Körperschaft]; Martín-Vide, Carlos [Sonstige Person, Familie und Körperschaft]

New developments in formal languages and applications

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Studies in computational intelligence ; 113
Dassow, Jürgen [Verfasser:in]; Păun, Gheorghe [Verfasser:in]

Regulated rewriting in formal language theory : with 4 tables

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1989

Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 18
Becker, Heinrich [Verfasser:in]; Walter, Hermann [Verfasser:in]

Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig: Vieweg, 1977

Erschienen in: Uni-Text
Ginsburg, Seymour [Verfasser:in]

Algebraic and automata-theoretic properties of formal languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1975

Erschienen in: Fundamental studies in computer science ; 2
Hinkel, Ursula [Verfasser:in]

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1998
Langholm, Tore [Verfasser:in]

Partiality, truth, and persistence

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Menlo Park, Calif. [u.a.]: Center for the Study of Language and Information, 1988

Erschienen in: Stanford University: CSLI lecture notes ; 15
Prinz, Andreas [Verfasser:in]

Formal semantics for SDL : definition and implementation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Professoren des Inst. für Informatik, 2001

Erschienen in: Informatik-Berichte ; 15500
Taylor, Ralph Gregory [Verfasser:in]

Models of computation and formal languages

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Oxford [u.a.]: Oxford University Press, 1998
Balke, Ludwig [Verfasser:in]; Böhling, Karl Heinz [Verfasser:in]

Einführung in die Automatentheorie und Theorie formaler Sprachen

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1993

Erschienen in: Reihe Informatik ; 90
Guessarian, Irène [Verfasser:in]

Algebraic semantics

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1981

Erschienen in: Lecture notes in computer science ; 99
Walther, Christoph [Verfasser:in]

Semantik und Programmverifikation - [1. Aufl.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2001

Erschienen in: Teubner-Texte zur Informatik ; 34
Milner, Robin [Verfasser:in]

Communication and concurrency - [Nachdr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Harlow [u.a.]: Prentice Hall, 1989 [erschienen] 2000

Erschienen in: Prentice Hall international series in computer science
Mazurkiewicz, Antoni [Herausgeber:in]

Mathematical foundations of computer science

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Warszawa: Polish Scientific Publ., 1977

Erschienen in: Międzynarodowe Centrum Matematyczne im. Stefana Banacha: Banach Center publications ; 2

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr