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
141
-
160
of
2,365
Search:
'"Formal Languages And Automata Theory"'
,
query time: 0.23s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
One Hundred Prisoners and a Light Bulb
by
van Ditmarsch, Hans
,
Kooi, Barteld
Published 2015
Copernicus
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
142
Temporal Logic of Programs
by
Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
143
Metainferential Logics
by
Pailos, Federico
,
Da Ré, Bruno
Published 2023
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
144
Verification of Sequential and Concurrent Programs
by
Apt, Krzysztof R.
,
Olderog, Ernst-Rüdiger
Published 1997
Springer New York
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
145
Predicate Calculus and Program Semantics
by
Dijkstra, Edsger W.
,
Scholten, Carel S.
Published 1990
Springer New York
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
146
L Systems
Published 1974
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
147
Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
148
Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
Published 2020
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
149
Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
Published 2019
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
150
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceed...
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
151
Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
152
Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
153
Current Topics in Artificial Intelligence : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005...
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
154
Current Topics in Artificial Intelligence : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Pa...
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
155
Case-Based Reasoning Research and Development : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
156
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
157
Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
158
Verification of Sequential and Concurrent Programs
by
Apt, Krzysztof R.
,
de Boer, Frank S.
,
Olderog, Ernst-Rüdiger
Published 2009
Springer London
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
159
Dynamic Epistemic Logic
by
van Ditmarsch, Hans
,
van der Hoek, Wiebe
,
Kooi, Barteld
Published 2008
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
160
Contributions to the Science of Text and Language : Word Length Studies and Related Issues
Published 2007
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
3
4
5
6
7
8
9
10
11
12
13
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?page=8&lookfor=%22Formal+Languages+And+Automata+Theory%22&type=Subject
Send by Email
×
Loading...