Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN:3540429492
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN:981022804X
PORTAL HYPERTENSION V PROCEEDINGS OF THE FIFTH BAVENO INTERNATIONAL CONSENSUS WORKSHOP FIFTH EDTION
ROBERTO DE FRANCHIS2011 年出版236 页ISBN:
Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis ECCV 2004 Workshop
2004 年出版438 页ISBN:3540226753
Lecture Notes in Computer Science 2444 Technologies for E-Services Third International Workshop
TES 20022002 年出版171 页ISBN:3540441107
Lecture Notes in Artificial Intelligence 3891 Multi-Agent-Based Simulation VI INternational Workshop
MABS 20052006 年出版190 页ISBN:3540333800