GREENHAVEN WORLD HISTORY PROGRAM
GWYNETH OWEN AND DEREK HEATER1980 年出版33 页ISBN:0899081223
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN:3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN:3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN:9783540732099
Cases on Formal and Informal E-Learning Environments:Opportunities and Practices
Yang2012 年出版432 页ISBN:9781466619302;1466619309
THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN:075462319x