Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN：354029810X
INTERNATIONAL SYMPOSIA IN ECONOMIC THEORY AND ECONOMETRICS VOLUME 20 NONLINEAR MODELING OF ECONOMIC
FREDJ JAWADI2010 年出版205 页ISBN：9780857244895
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN：9783540749141
国际社会公民投票的类型与实践=Plebiscites in the International Community:Type and Practice
陈隆志，陈文贤主编；苏芳谊助编；王思为，吴志中，李明峻等著2011 年出版380 页ISBN：
The UN Watercourses Convention in force Strengthening International Law for Transboundary wanagement
Flavia Rocha Loures and Alistair Rieu-Clarke2013 年出版373 页ISBN：9781849714464
THE SANDVIK STEEL WORKS INTERNATIONAL NUCLEAR POWER DAY IN SANDVIKEN ON NOVEMBER 28
1968 LECTURES AND DISCUSSION1968 年出版60 页ISBN：
