城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Levi Giorgio)
該当件数:5件
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings / edited by Giorgio Levi, Mario Rodriguez-Artalejo
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 850)
電子ブック
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / edited by Helene Kirchner, Giorgio Levi
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 632)
Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 306)
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 249)
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 250)