1.

図書
図書
1. Automata theory and its applications
Bakhadyr Khoussainov, Anil Nerode
出版情報: Boston : Birkhäuser, c2001
シリーズ名: Progress in computer science and applied logic ; v. 21
所蔵情報: 図書館
2.

電子ブック
ＥＢ
2. Hybrid Systems II
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 999
オンライン: http://dx.doi.org/10.1007/3-540-60472-3
3.

電子ブック
ＥＢ
3. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928
オンライン: http://dx.doi.org/10.1007/3-540-59487-6
4.

電子ブック
ＥＢ
4. Logical Foundations of Computer Science : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
edited by Anil Nerode, Yu. V. Matiyasevich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 813
オンライン: http://dx.doi.org/10.1007/3-540-58140-5
5.

電子ブック
ＥＢ
5. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
6.

電子ブック
ＥＢ
6. Logical Foundations of Computer Science — Tver '92 : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
edited by Anil Nerode, Mikhail Taitslin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 620
オンライン: http://dx.doi.org/10.1007/BFb0023857