Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Formal Languages And Automata Theory"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
languages »
language
automata »
automated
,
automatic
Showing
1
-
20
of
2,365
Search:
'"Formal Languages And Automata Theory"'
,
query time: 0.33s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
Published 1994
Springer London
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
2
Larch: Languages and Tools for Formal Specification
by
Guttag, John V.
,
Horning, James J.
Published 1993
Springer New York
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
3
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
,
Breveglieri, Luca
,
Morzenti, Angelo
Published 2013
Springer London
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
4
Confluent String Rewriting
by
Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
5
Semirings, Automata, Languages
by
Kuich, W.
,
Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
6
Automatentheorie und Logik
by
Hofmann, Martin
,
Lange, Martin
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
7
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
8
Type Systems for Distributed Programs: Components and Sessions
by
Dardha, Ornela
Published 2016
Atlantis Press
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
9
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
10
An Introduction to Formal Language Theory
by
Moll, Robert N.
,
Arbib, Michael A.
,
Kfoury, A.J.
Published 1988
Springer New York
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
11
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
12
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
13
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
14
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
15
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
16
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
17
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
18
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
19
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
20
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
865
006 - Special computer methods
677
040 - [Unassigned]
464
004 - Data processing & computer science
91
511 - General principles of mathematics
79
518 - Numerical analysis
51
more ...
025 - Library operations
33
003 - Systems
31
160 - Logic
22
570 - Life sciences; biology
8
670 - Manufacturing
8
512 - Algebra
7
621 - Applied physics
7
510 - Mathematics
6
410 - Linguistics
4
629 - Other branches of engineering
4
120 - Epistemology, causation & humankind
3
370 - Education
3
371 - Schools & their activities; special education
3
401 - Philosophy & theory
3
519 - Probabilities & applied mathematics
3
515 - Analysis
2
516 - Geometry
2
530 - Physics
2
100 - Philosophy & psychology
1
111 - Ontology
1
180 - Ancient, medieval & eastern philosophy
1
301 - Sociology & anthropology
1
303 - Social processes
1
400 - Language
1
407 - Education, research & related topics
1
418 - Standard usage & applied linguistics
1
501 - Philosophy & theory
1
514 - Topology
1
541 - Physical chemistry
1
610 - Medicine & health
1
620 - Engineering & allied operations
1
630 - Agriculture & related technologies
1
650 - Management & auxiliary services
1
658 - General management
1
see all ...
less ...
Language
English
2,329
German
33
Italian
3
Collection
Springer eBooks 2005-
1,609
Springer Book Archives -2004
756
Author
Rozenberg, Grzegorz
28
Voronkov, Andrei
22
Peters, James F.
15
Nerode, Anil
14
Ehrig, Hartmut
12
Martín-Vide, Carlos
12
more ...
Paun, Gheorghe
12
Salomaa, Arto
12
Potapov, Igor
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Gabbay, Dov M.
10
Gelbukh, Alexander
10
Rudolph, Sebastian
10
Margaria, Tiziana
9
Narukawa, Yasuo
9
Skowron, Andrzej
9
Bouchon-Meunier, Bernadette
8
Gottlob, Georg
8
Liu, Shaoying
8
Börger, Egon
7
Legay, Axel
7
Li, Wei
7
Liu, Zhiming
7
Nipkow, Tobias
7
Orlowska, Ewa
7
Perner, Petra
7
Steffen, Bernhard
7
Ölveczky, Peter Csaba
7
Artemov, Sergei
6
Broy, Manfred
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Eiter, Thomas
6
Greco, Salvatore
6
Jouannaud, Jean-Pierre
6
Karhumäki, Juhani
6
Kleine Büning, Hans
6
Kreowski, Hans-Jörg
6
Kuznetsov, Sergei O.
6
Montanari, Ugo
6
Ong, Luke
6
Pogodalla, Sylvain
6
Richter, Michael M.
6
Rossi, Francesca
6
Satoh, Ken
6
Schewe, Klaus-Dieter
6
Schlechta, Karl
6
Truthe, Bianca
6
Wang, Dongming
6
Wirsing, Martin
6
Bekki, Daisuke
5
Bernardo, Marco
5
Butler, Michael
5
Calude, Cristian S.
5
Dershowitz, Nachum
5
Dowek, Gilles
5
Duan, Zhenhua
5
Ebbinghaus, Heinz-Dieter
5
Engels, Gregor
5
Faber, Wolfgang
5
Fisher, Michael
5
Ganter, Bernhard
5
Gnesi, Stefania
5
Goertzel, Ben
5
Grzymala-Busse, Jerzy W.
5
Hameurlain, Abdelkader
5
Hanus, Michael
5
Hähnle, Reiner
5
Ibarra, Oscar H.
5
Jäger, Gerhard
5
Kutrib, Martin
5
Libkin, Leonid
5
Manea, Florin
5
Mayr, Heinrich C.
5
Medina, Jesús
5
Meinke, Karl
5
Meseguer, José
5
Méry, Dominique
5
Métais, Elisabeth
5
Möller, Bernhard
5
Nagl, Manfred
5
Ojeda-Aciego, Manuel
5
Pearce, David
5
Pighizzini, Giovanni
5
Silva, Alexandra
5
Son, Tran Cao
5
SpringerLink (Online service)
5
Sui, Yuefei
5
Thalheim, Bernhard
5
Wang, Guoyin
5
Zeugmann, Thomas
5
Ésik, Zoltán
5
Apt, Krzysztof R.
4
Beckert, Bernhard
4
Bjørner, Nikolaj
4
Blackburn, Patrick
4
Buchberger, Bruno
4
Calmet, Jacques
4
Cavalcanti, Ana
4
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Formal+Languages+And+Automata+Theory%22&type=Subject
Send by Email
×
Loading...