Cプログラムの検証ツール Caduceus
Cプログラムの検証ツール Caduceus
复制标题
C程序验证工具Caduceus
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
靖彦
中科院分区：
文献类型：
--
作者：
南出;靖彦
登录
查看更多内容
影响因子：
2.4
作者：
Pore SM;Ramanand SJ;Patil PT;Gore AD;Pawar MP;Gaidhankar SL;Ghanghas RR
通讯作者：
Ghanghas RR
影响因子：
2.2
作者：
JE Salter;SD Smith;KD Ethans
通讯作者：
KD Ethans
阿斯克勒庇俄斯的神话和治愈叙事：反直觉的概念和文化期望
DOI：
10.16995/olh.34
发表时间：
2016
期刊：
--
影响因子：
--
作者：
O. Panagiotidou
通讯作者：
O. Panagiotidou
卡杜修斯：医学上的欺骗象征，还是还有更多意义？
影响因子：
2.1
作者：
Georgios N. Katsaras;V. Chatziravdeli;Dimitrios Katsaras;Garyfalia N Papavasileiou
通讯作者：
Garyfalia N Papavasileiou
从阿斯克勒庇俄斯到希波克拉底：治疗的艺术和科学。
DOI：
10.4037/ajcc2014993
发表时间：
2014
期刊：
American journal of critical care : an official publication, American Association of Critical-Care Nurses
影响因子：
--
作者：
R. Savel;C. Munro
通讯作者：
C. Munro