Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search:
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
author_facet:"Nerode, Anil"
Showing
1
-
20
of
30
Search:
''
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Hybrid Systems V
by
Antsaklis, Panos
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
2
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
by
Dix, Jürgen
Published 1997
Springer Berlin Heidelberg
Read Now
3
Hybrid Systems IV
by
Antsaklis, Panos
Published 1997
Springer Berlin Heidelberg
Read Now
4
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
by
Adian, Sergei
Published 1997
Springer Berlin Heidelberg
Read Now
5
Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Read Now
6
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Published 2013
Springer Berlin Heidelberg
Read Now
7
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
Published 2020
Springer International Publishing
Read Now
8
Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Published 2022
Springer International Publishing
Read Now
9
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut
by
Nerode, Anil
,
Greenberg, Noam
Published 2022
Springer International Publishing
Read Now
10
Logic programming and non-monotonic reasoning : proceedings of the second international workshop
by
Pereira, Luís Moniz
Published 1993
MIT Press
Call Number:
QA76.63
Read Now
11
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Read Now
12
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Read Now
13
Hybrid Systems IV
Published 1997
Springer Berlin Heidelberg
Read Now
14
Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Read Now
15
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Published 2016
Springer International Publishing
Read Now
16
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Published 2018
Springer International Publishing
Read Now
17
Logic for Applications
by
Nerode, Anil
,
Shore, Richard A.
Published 1993
Springer New York
Read Now
18
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
by
Homer, Steven
,
Nerode, Anil
,
Platek, Richard A.
,
Sacks, Gerald E.
Published 1990
Springer Berlin Heidelberg
Read Now
19
Hybrid Systems II
Published 1995
Springer Berlin Heidelberg
Read Now
20
Hybrid Systems
Published 1993
Springer Berlin Heidelberg
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Author: Nerode, Anil
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
18
511 - General principles of mathematics
5
005 - Computer programming, programs & data
3
006 - Special computer methods
2
040 - [Unassigned]
1
516 - Geometry
1
Language
English
26
Collection
Springer Book Archives -2004
12
Springer eBooks 2005-
8
Springer Lecture Notes Archiv 1964-1996
5
Lecture Notes in Computer Science
4
MIT Press eBook Archive
1
Author
Nerode, Anil
Artemov, Sergei
7
Antsaklis, Panos
5
Kohn, Wolf
5
Sastry, Shankar
4
Adian, Sergei
2
more ...
Rischel, Hans
2
Shore, Richard A.
2
Taitslin, Mikhail
2
Dix, Jürgen
1
Fuhrbach, Ulrich
1
Furbach, Ulrich
1
Greenberg, Noam
1
Grossman, Robert
1
Grossman, Robert L.
1
Homer, Steven
1
Khoussainov, Bakhadyr
1
Lemmon, Michael
1
Marek, V.
1
Marek, V. Wiktor
1
Matiyasevich, Yu
1
Matiyasevich, Yu.V.
1
Pereira, Luís Moniz
1
Platek, Richard A.
1
Ravn, Anders
1
Ravn, Anders P.
1
Sacks, Gerald E.
1
Truszcynski, Miroslaw
1
Truszczyński, M.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Nerode%2C+Anil%22&type=AllFields
Send by Email
×
Loading...