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
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN：3540090045
DIVORCE IN MEDIEVAL ENGLAND FROM ONE TO TWO PERSONS IN LAW
SARA M.BUTLER2013 年出版200 页ISBN：0415825164
FROM BONN TO BERLIN GERMAN POLITICS IN TRANSITION
LEWIS J.EDINGER AND BRIGITTE L.NACOS1998 年出版301 页ISBN：0231084137
INTRODUCTION TO RESEARCH IN MEDICAL SCIENCES
A.CUSCHIERI P.R.BAKER2222 年出版216 页ISBN：0443014663
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
