Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Artificial Intelligence 3554 Modeling and Using Context 5th International and Inter
2005 年出版572 页ISBN:354026924X
THE PRAISE OF FOLLY AND OTHER WRITINGS Desiderius Erasmus A NEW TRANSLATION WITH CRITICAL COMMENTAR
ROBERT M.ADAMS2222 年出版341 页ISBN:0393957495
INTRODUCTION TO COMPUTERS USING THE IBM AND MS-DOS PCS WITH BASIC SECOND EDITION
STEVEN L.MANDELL1985 年出版439 页ISBN:0314321705
Deep-well injections and induced seismicity: understanding the relationship (with accompanying CD-RO
James B. Fernandez2015 年出版124 页ISBN:1634825573
LEGAL PROTECTION OF THE UNDERWATER CULTURAL HERITAGE:NATIONAL AND INTERNATIONAL PERSPECTIVES
SARAH DROMGOOLE1999 年出版239 页ISBN:9041197621
THE CORE STANDARD OF INTERNATIONAL INVESTMENT PROTECTION FAIR AND EQUITABLE TREATMENT
ALEXANDRA DIEHL2012 年出版630 页ISBN:9041138692
Domestic Politics and International Human Rights Tribunals the Problem of Compliance
Courtney Hillebrecht2014 年出版192 页ISBN:1107040229
UN CONVENTION ON CONTRACTS FOR THE INTERNATIONAL SALE OF GOODS(CISG)
STEFAN KROLL2011 年出版1251 页ISBN:1841131709