学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(著者名に左の語を含む: #Hermenegildo Manuel)
該当件数:3件
Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages
: Association for Computing Machinery , 2010
書誌ID=6103307422
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
Berlin ; New York ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 982)
書誌ID=2000709752 NCID=BA26022013
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 844)
書誌ID=2000708794 NCID=BA23288309