Home
Add Document
Sign In
Register
Răzvan Diaconescu; Kokichi Futatsugi's Documents
Home
Răzvan Diaconescu; Kokichi Futatsugi's Documents
Răzvan Diaconescu; Kokichi Futatsugi's Documents
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Read more
Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Read more
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
Read more
Theoretical Computer Science and General Issues)
Read more
Shadows
Read more
Machine interpretation of line drawings
Read more
Institution-independent Model Theory
Read more
Institution-independent Model Theory
Read more
Civic Virtues: Rights, Citizenship, and Republican Liberalism (Oxford Political Theory)
Read more
Better to Die a Hero
Read more
Better to Die a Hero
Read more
Politikberatung und Lobbying in Brüssel
Read more
CAFE: An Industrial Strength Algebraic Formal Method
Read more
Creative Techniques in Product and Engineering Design: A Practical Workbook
Read more
Creative Techniques in Product and Engineering Design: A Practical Workbook
Read more
Fuzzy Sets and Their Applications to Cognitive and Decision Processes
Read more
Fuzzy Sets and Their Applications to Cognitive and Decision Processes
Read more
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Login with Facebook
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close
