2010 RECENT ADVANCES IN FINANCIAL ENGINEERING
MASAAKI KIJIMA CHIAKI HARA YUKIO MUROMACHI HIDETAKA NAKAOKA KATSUMASA NISHIDE2011 年出版245 页ISBN:9789814366021
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 4671 Parallel Computing Technologies 9th International Conference
PaCT 20072007 年出版635 页ISBN:9783540739395
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 4836 Ubiquitous Computing Systems 4th International Symposium
UCS 20072007 年出版305 页ISBN:9783540767718