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: