Home Advanced Search

Advanced Search - Page 1

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Guy L. Steele (auth.), Masami Hagiya, Philip Wadler (eds.)
Progress in Discovery Science: Final Report of the Japanese Dicsovery Science Project
  • PDF
  • English
  • Year: 2002
  • Author: Koichi Takahashi, Masami Hagiya (auth.), Setsuo Arikawa, Ayumi Shinohara (eds.)
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
  • DJVU
  • English
  • Year: 1994
  • Author: Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Phiset Sa-Ardyen, Nataša Jonoska, Nadrian C. Seeman (auth.), Masami Hagiya, Azuma Ohuchi (eds.)
Unconventional Computation: 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Shun-ichi Amari (auth.), Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis (eds.)
Unconventional Computation: 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Shun-ichi Amari (auth.), Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis (eds.)
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.)
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.)