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
Retain my current filters
language:"English"
Search alternatives
:
languages »
language
automata »
automated
,
automatic
Showing
1
-
20
of
2,345
Search:
'"Formal Languages And Automata Theory"'
,
query time: 2.51s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
2
Confluent String Rewriting
by
Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
3
Semirings, Automata, Languages
by
Kuich, W.
,
Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
4
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
5
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
6
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
,
Breveglieri, Luca
,
Morzenti, Angelo
Published 2013
Springer London
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
7
Type Systems for Distributed Programs: Components and Sessions
by
Dardha, Ornela
Published 2016
Atlantis Press
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
8
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
9
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
10
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
11
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
12
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
13
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
14
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
15
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
...
”
Read Now
16
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions
Published 1985
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
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
19
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
20
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
848
006 - Special computer methods
670
004 - Data processing & computer science
361
040 - [Unassigned]
199
511 - General principles of mathematics
74
518 - Numerical analysis
51
more ...
025 - Library operations
33
003 - Systems
29
160 - Logic
22
621 - Applied physics
10
670 - Manufacturing
9
570 - Life sciences; biology
8
512 - Algebra
7
510 - Mathematics
6
410 - Linguistics
5
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
650 - Management & auxiliary services
1
658 - General management
1
see all ...
less ...
Language
English
Collection
Springer eBooks 2005-
1,600
Springer Book Archives -2004
745
Author
Rozenberg, Grzegorz
29
Voronkov, Andrei
22
Peters, James F.
15
Nerode, Anil
14
Paun, Gheorghe
13
Salomaa, Arto
13
more ...
Martín-Vide, Carlos
12
Ehrig, Hartmut
11
Gelbukh, Alexander
11
Potapov, Igor
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Gabbay, Dov M.
10
Rudolph, Sebastian
10
Margaria, Tiziana
9
Narukawa, Yasuo
9
Skowron, Andrzej
9
Bouchon-Meunier, Bernadette
8
Börger, Egon
8
Liu, Shaoying
8
Gottlob, Georg
7
Legay, Axel
7
Li, Wei
7
Liu, Zhiming
7
Nipkow, Tobias
7
Orlowska, Ewa
7
Perner, Petra
7
Steffen, Bernhard
7
Wang, Dongming
7
Ölveczky, Peter Csaba
7
Artemov, Sergei
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
Möller, Bernhard
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
Wirsing, Martin
6
Bekki, Daisuke
5
Bernardo, Marco
5
Broy, Manfred
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
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 ...
Recently Uploaded
Last Month
16
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=language%3A%22English%22&lookfor=%22Formal+Languages+And+Automata+Theory%22&type=Subject
Send by Email
×
Loading...