Zum Inhalt springen

Simovici, Dan A. [VerfasserIn]; Tenney, Richard L. [VerfasserIn]

Theory of formal languages with applications

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 [HerausgeberIn]

Handbook of formal languages

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-
Wood, Derick [VerfasserIn]

Grammar and L forms : an introduction

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
Kühnemann, Armin [VerfasserIn]; Vogler, Heiko [VerfasserIn]

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
Pin, Jean Éric [VerfasserIn] ; 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 [VerfasserIn]

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 [VerfasserIn]

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 [HerausgeberIn]; 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

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 [VerfasserIn]; Păun, Gheorghe [VerfasserIn]

Regulated rewriting in formal language theory : with 4 tables

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 [VerfasserIn]; Walter, Hermann [VerfasserIn]

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

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 [VerfasserIn]

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 [VerfasserIn]

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 [VerfasserIn]

Partiality, truth, and persistence

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 [VerfasserIn]

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 [VerfasserIn]

Models of computation and formal languages

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 [VerfasserIn]; Böhling, Karl Heinz [VerfasserIn]

Einführung in die Automatentheorie und Theorie formaler Sprachen

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 [VerfasserIn]

Algebraic semantics

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 [VerfasserIn]

Semantik und Programmverifikation - [1. Aufl.]

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 [VerfasserIn]

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 [HerausgeberIn]

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