城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Nerode Anil)
該当件数:9件
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Providence, R.I. : American Mathematical Society , c1985. - (Proceedings of symposia in pure mathematics ; v. 42)
図書
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / by Anil Nerode, Noam Greenberg
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
電子ブック
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
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 813)
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings / edited by Anil Nerode, Mikhail Taitslin
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 620)
Automata Theory and its Applications / by Bakhadyr Khoussainov, Anil Nerode
1st ed. 2001.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2001). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 21)
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / edited by Sergei Artemov, Anil Nerode
1st ed. 2020.. - (Cham : Springer International Publishing : Imprint: Springer , 2020). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 11972)
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, Miroslaw Truszcynski
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 928)
Hybrid Systems II / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 999)
Hybrid Systems / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 736)