kokichi futatsugi Kokichi Futatsugi's Documents - EPDF.PUB

Kokichi Futatsugi's Documents

Kokichi Futatsugi's Documents

Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings

Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Read more
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Read more
Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Algebra, meaning and computation. Essays dedicated to J.A. Goguen
Read more
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Read more
Theoretical Computer Science and General Issues)

Theoretical Computer Science and General Issues)
Read more
Machine interpretation of line drawings

Machine interpretation of line drawings
Read more
CAFE: An Industrial Strength Algebraic Formal Method

CAFE: An Industrial Strength Algebraic Formal Method
Read more
Fuzzy Sets and Their Applications to Cognitive and Decision Processes

Fuzzy Sets and Their Applications to Cognitive and Decision Processes
Read more
Fuzzy Sets and Their Applications to Cognitive and Decision Processes

Fuzzy Sets and Their Applications to Cognitive and Decision Processes
Read more