ID:DA00983235
Nerode, A.
同姓同名の著者を検索
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館1館
Springer c2020 Lecture notes in computer science 11972 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Springer c2018 Lecture notes in computer science 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館2館
Sergei N. Artemov, Anil Nerode (eds.)
Springer c2007 Lecture notes in computer science 4514
所蔵館4館
Bakhadyr Khoussainov, Anil Nerode
Birkhäuser c2001 Progress in computer science and applied logic v. 21
所蔵館25館
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
Springer c1997 Lecture notes in computer science 1265 . Lecture notes in artificial intelligence
所蔵館45館
Sergei Adian, Anil Nerode, (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1234
所蔵館51館
Anil Nerode and Richard A. Shore
Springer c1997 2nd ed Graduate texts in computer science
所蔵館41館
G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
Elsevier 1996 Studies in computer science and artificial intelligence 13
所蔵館21館
V.W. Marek, A. Nerode, M. Truszczyński (eds.)
Springer Verlag c1995 Lecture notes in computer science 928 . Lecture notes in artificial intelligence
: gw , : us
所蔵館58館
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
所蔵館63館
John N. Crossley ... [et al.], editors
Birkhäuser 1993 Progress in computer science and applied logic v. 12
: us , : sz
所蔵館16館
Anil Nerode, Richard A. Shore
Springer-Verlag c1993 Texts and monographs in computer science
所蔵館31館
edited by Luís Moniz Pereira and Anil Nerode
MIT Press c1993
所蔵館22館
A. Nerode, M. Taitslin (eds.)
Springer-Verlag c1992 Lecture notes in computer science 620
所蔵館53館
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
MIT Press c1991
所蔵館32館
[edited by Anil Nerode, Richard A. Shore]
American Mathematical Society c1985 Proceedings of symposia in pure mathematics v. 42
所蔵館61館
J.N. Crossley, Anil Nerode
Springer-Verlag 1974 Ergebnisse der Mathematik und ihrer Grenzgebiete Bd. 81
: u.s. , : gw