Home Advanced Search

Advanced Search - Page 1

Object Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: David A. Thomas (auth.), Kokichi Futatsugi, Satoshi Matsuoka (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
ECOOP'97 — Object-Oriented Programming: 11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Kristen Nygaard (auth.), Mehmet Akşit, Satoshi Matsuoka (eds.)
Software engineering with OBJ: algebraic specification in action
  • DJVU
  • English
  • Year: 2000
  • Author: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)
Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Renaud Pawlak, Laurence Duchien, Gérard Florin, Lionel Seinturier (auth.), Akinori Yonezawa, Satoshi Matsuoka (eds.)
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
  • DJVU
  • English
  • Year: 1998
  • Author: RaМ†zvan Diaconescu; Kokichi Futatsugi
Orbitals in Chemistry
  • PDF
  • English
  • Year: 2010
  • Author: Satoshi Inagaki (auth.), Satoshi Inagaki (eds.)
Pattern Recognition and Machine Learning: Proceedings of the Japan—U.S. Seminar on the Learning Process in Control Systems, held in Nagoya, Japan August 18–20, 1970
  • PDF
  • English
  • Year: 1971
  • Author: Kokichi Tanaka (auth.), K. S. Fu (eds.)
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Satoshi Hara, Takashi Washio (auth.), Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis (eds.)
Hydrocephalus: Pathogenesis and Treatment
  • PDF
  • English
  • Year: 1991
  • Author: Hiromi Sato, Satoshi Matsumoto (auth.), Satoshi Matsumoto M.D., Norihiko Tamaki M.D. (eds.)
search