Skip to main content

岐阜大学図書館蔵書検索(OPAC)

  • 図書館ホームページ
  • 新着図書
  • 新着雑誌
  • 貸出Best10
  • My Library ログイン
  • 電子ジャーナル検索   利用上の注意
  • 館内Map
  • ヘルプ
  • British Computer Society (9)
  • Glasgow Workshop on Functional Programming (2)
  • ALPUK (1)
  • BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1)
  • Desel, Jörg (1)
  • Deville, Yves, 1960- (1)
  • Duncan, Tim (Timothy), 1956- (1)
  • Hammond, Kevin (1)
  • Heldal, Rogardt, 1964- (1)
  • Holst, Carsten Kehler, 1962- (1)
  • IEEE Computer Society (1)
  • IFIP. Working Group 10.4 (1)
  • International Joint Conference on Artificial Intelligence (1)
  • International Symposium on Fault-Tolerant Computing Systems (1)
  • International Workshop on Logic Program Synthesis and Transformation (1)
  • International Workshop on Structures in Concurrency Theory (1995 : Berlin) (1)
  • Mellish, C. S. (Christopher S.), 1954- (1)
  • Ponse, A. (Alban), 1955- (1)
  • Rattray, C. (Charles), 1938- (1)
  • Sansom, Patrick, 1969- (1)
  • Turner, David N. (David Neil), 1968- (1)
  • UK Annual Conference on Logic Programming (1)
  • Verhoef, C. (Christiaan), 1962- (1)
  • Vlijmen, S. F. M. van (Sebastiaan Franciscus Maria), 1963- (1)
  • Wadler, Philip, 1956- (1)
  • Wiggins, Geraint A., 1962- (1)
  • Workshop on the Algebra of Communicating Processes (1st : 1994 : Utrecht, Netherlands) (1)