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
dewey-ones:"005 - Computer programming, programs & data"
Search alternatives
:
languages »
language
automata »
automated
,
automatic
Showing
1
-
20
of
866
Search:
'"Formal Languages And Automata Theory"'
,
query time: 0.93s
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
Automatentheorie und Logik
by
Hofmann, Martin
,
Lange, Martin
Published 2011
Springer Berlin Heidelberg
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
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
12
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
13
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
14
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
15
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
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 1: Invited Lectures
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
17
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
18
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
19
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
20
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
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
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
18
004 - Data processing & computer science
5
Language
English
848
German
18
Collection
Springer eBooks 2005-
594
Springer Book Archives -2004
272
Author
Bowen, Jonathan P.
9
Voronkov, Andrei
9
Li, Wei
7
de Queiroz, Ruy
7
Margaria, Tiziana
6
Steffen, Bernhard
6
more ...
Ölveczky, Peter Csaba
6
Bernardo, Marco
5
Butler, Michael
5
Méry, Dominique
5
Rozenberg, Grzegorz
5
Salomaa, Arto
5
Sui, Yuefei
5
Eiter, Thomas
4
Gnesi, Stefania
4
Hanus, Michael
4
Hermenegildo, Manuel
4
Jouannaud, Jean-Pierre
4
Legay, Axel
4
Liu, Shaoying
4
Liu, Zhiming
4
Merz, Stephan
4
Montanari, Ugo
4
Ong, Luke
4
Pogodalla, Sylvain
4
Romanovsky, Alexander
4
Schlechta, Karl
4
Vardanega, Tullio
4
Artemov, Sergei
3
Berardi, Stefano
3
Bonsangue, Marcello M.
3
Broy, Manfred
3
Calvanese, Diego
3
Cavalcanti, Ana
3
Comon, Hubert
3
De Nicola, Rocco
3
Debruyne, Christophe
3
Derrick, John
3
Dershowitz, Nachum
3
Dybjer, Peter
3
Faber, Wolfgang
3
Fiadeiro, José Luiz
3
Fitting, Melvin
3
Foret, Annie
3
Furia, Carlo A.
3
Gabbay, Dov M.
3
Giannakopoulou, Dimitra
3
Gibbons, Jeremy
3
Gottlob, Georg
3
Hofmann, Martin
3
Johnson, Michael
3
Kahl, Wolfram
3
Kobayashi, Naoki
3
Lecomte, Thierry
3
Levi, Giorgio
3
Libkin, Leonid
3
Lämmel, Ralf
3
Mayr, Heinrich C.
3
McIver, Annabelle
3
Meinke, Karl
3
Meyer, Bertrand
3
Middeldorp, Aart
3
Morrill, Glyn
3
Muskens, Reinhard
3
Möller, Bernhard
3
Nagar, Sandeep
3
Nerode, Anil
3
Nipkow, Tobias
3
Nordström, Bengt
3
Orejas, Fernando
3
Orlowska, Ewa
3
Palanque, Philippe
3
Palsberg, Jens
3
Panetto, Hervé
3
Pattinson, Dirk
3
Paulin-Mohring, Christine
3
Potapov, Igor
3
Raschke, Alexander
3
Rossi, Francesca
3
Salaün, Gwen
3
Saraiva, João
3
Schewe, Klaus-Dieter
3
Silva, Alexandra
3
Simao, Adenilso
3
Wirsing, Martin
3
Wolff, Burkhart
3
Albert, Elvira
2
Aloni, Maria
2
Araki, Keijiro
2
Arbab, Farhad
2
Baader, Franz
2
Backhouse, Roland
2
Banerjee, Mohua
2
Barceló, Pablo
2
Beckert, Bernhard
2
Berghammer, Rudolf
2
Bert, Didier
2
Bertossi, Leopoldo
2
Biere, Armin
2
Birtwistle, Graham
2
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22Formal+Languages+And+Automata+Theory%22&type=Subject
Send by Email
×
Loading...