Home Advanced Search

Advanced Search - Page 1

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

DJVU
English
Year: 1998
Author: RaМ†zvan Diaconescu; Kokichi Futatsugi

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.)

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.)

Musui’s Story: The Autobiography of a Tokugawa Samurai

PDF
English
Year: 1991
Author: Katsu Kokichi

Machine interpretation of line drawings

PDF
English
Year: 1986
Author: Kokichi Sugihara

[Article] Transcription Factor Network in Embryonic Stem Cells: Heterogeneity under the Stringency

PDF
English
Year: 2013
Author: Yoko Nakai-Futatsugi and Hitoshi Niwa

Spatial Analysis along Networks: Statistical and Computational Methods

PDF
English
Year: 2012
Author: Atsuyuki Okabe, Kokichi Sugihara(auth.)

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.)

Fuzzy Sets and their Applications to Cognitive and Decision Processes. Proceedings of the US–Japan Seminar on Fuzzy Sets and their Applications, Held at the University of California, Berkeley, California, July 1–4, 1974

PDF
English
Year: 1975
Author: Lotfi A. Zadeh, King-Sun Fu, Kokichi Tanaka, Masamichi Shimura

1
2