Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
ENGLISHIN FOCUS ENGLISH IN PHYSICAL SCIENCE
J.P.B.ALLEN H.G.WIDDOWSON2222 年出版0 页ISBN:
Advances in catalysis science and technology
ed. by T.S.R.Prasada Rao1985 年出版771 页ISBN:0470201878
DEVELOPMENTS IN WATER SCIENCE 19 PIPEFLOW ANALYSIS
DAVID STEPHENSON1984 年出版204 页ISBN:0444422838
research on practice route of applied ethics in east asia proceedings of the 5th international confe
wang qian and wang huili2015 年出版299 页ISBN:7030450841
本书汇集了东亚地区应用伦理的实践路径研究方面的重要研究成果,内容涉及当代科技背景下的应用伦理学、应用伦理与应用哲学研究的方法论、东亚历史文化资源、道德哲学与其实践应用,反映了东亚地区应用伦理学与...
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN:
Advances in Information Systems Science Volume 7
Julius T.Tou1978 年出版313 页ISBN: