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

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

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

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
Shadows

Shadows
Read more
Machine interpretation of line drawings

Machine interpretation of line drawings
Read more
Institution-independent Model Theory

Institution-independent Model Theory
Read more
Institution-independent Model Theory

Institution-independent Model Theory
Read more
Civic Virtues: Rights, Citizenship, and Republican Liberalism (Oxford Political Theory)

Civic Virtues: Rights, Citizenship, and Republican Liberalism (Oxford Political Theory)
Read more
Better to Die a Hero

Better to Die a Hero
Read more
Better to Die a Hero

Better to Die a Hero
Read more
Politikberatung und Lobbying in Brüssel

Politikberatung und Lobbying in Brüssel
Read more
Греко-русский словарь к учебнику

Греко-русский словарь к учебнику
Read more
CAFE: An Industrial Strength Algebraic Formal Method

CAFE: An Industrial Strength Algebraic Formal Method
Read more
Geografia Dell'Economia Mondiale

Geografia Dell'Economia Mondiale
Read more
Creative Techniques in Product and Engineering Design: A Practical Workbook

Creative Techniques in Product and Engineering Design: A Practical Workbook
Read more
The 1998 IEEE International Joint Conference on Neural Network Proceedings: IEEE World Congress on Computational Intelligence: May 4-May 9, 1998 Anchorage, Alaska, USA

The 1998 IEEE International Joint Conference on Neural Network Proceedings: IEEE World Congress on Computational Intelligence: May 4-May 9, 1998 Anchorage, Alaska, USA
Read more
Indiana Environmental Law Handbook (State Environmental Law Handbook)

Indiana Environmental Law Handbook (State Environmental Law Handbook)
Read more
Warships Pictorial #23 - Italian CR Heavy Cruisers Of WW2

Warships Pictorial #23 - Italian CR Heavy Cruisers Of WW2
Read more
Reduksi Dimensi Image dengan Principal Components Analysis (PCA)

Reduksi Dimensi Image dengan Principal Components Analysis (PCA)
Read more
Стандарты и принципы качества голландской археологии

Стандарты и принципы качества голландской археологии
Read more
Katalog der Orden und Ehrenzeichen des Deutschen Reiches 1871-1945

Katalog der Orden und Ehrenzeichen des Deutschen Reiches 1871-1945
Read more
Александрия русских хронографов: Исследование и текст

Александрия русских хронографов: Исследование и текст
Read more
Emerson in His Own Time: A Biographical Chronicle of His Life, Drawn from Recollections, Interviews, and Memoirs by Family, Friends, and Associates

Emerson in His Own Time: A Biographical Chronicle of His Life, Drawn from Recollections, Interviews, and Memoirs by Family, Friends, and Associates
Read more
Something We Have That They Don't: British and American Poetic Relations since 1925

Something We Have That They Don't: British and American Poetic Relations since 1925
Read more
Writing Your Own Toy OS

Writing Your Own Toy OS
Read more
The Adam Smith Problem: Human Nature and Society in The Theory of Moral Sentiments and The Wealth of Nations

The Adam Smith Problem: Human Nature and Society in The Theory of Moral Sentiments and The Wealth of Nations
Read more
Warships Pictorial #23 - Italian CR Heavy Cruisers Of WW2

Warships Pictorial #23 - Italian CR Heavy Cruisers Of WW2
Read more
Creative Techniques in Product and Engineering Design: A Practical Workbook

Creative Techniques in Product and Engineering Design: A Practical Workbook
Read more