AMIR PNUELI (1941-2009) OBITUARY

被引：0

|

作者：

Apt, Krzysztof R.

Zuck, Lenore D.

机构：

来源：

BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2010年 / 100期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：9 / 10

页数：2

相关论文

共 50 条

[41] Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework In Memory of Amir Pnueli
Goldberg, Benjamin
[J]. STATIC ANALYSIS, 2010, 6337 : 6 - 21
[42] Late Amir Azmy Obituary
Hadidi, Ahmed T.
Zaki, Ahmed M.
Abouheba, Mohamed
Young, Dan
Elhalaby, Essam
[J]. ANNALS OF PEDIATRIC SURGERY, 2011, 7 (02): : 47 - 48
[43] LOWENTHAL,RONIT,AMIR + OBITUARY
MONTPARKER, C
[J]. CLAVIER, 1990, 29 (08): : 42 - 42
[44] Amir A F Azmy Obituary
Azmy, Iman
Raine, Peter
Fyfe, Alasdair
[J]. BRITISH MEDICAL JOURNAL, 2011, 343
[45] In Memoriam. The chronicler of bees: Joao Maria Franco de Camargo (1941-2009), has works published, Professor
Vit, Patricia
[J]. MEDULA, 2010, 19 (01): : 78 - 79
[46] Dr. Amir Masoud Emadi Obituary
Emadi, Ashkan
Malekzadeh, Reza
[J]. ARCHIVES OF IRANIAN MEDICINE, 2016, 19 (02) : 163 - 163
[47] Prim. Janez Zupancic, dr. med. (1941-2009). He was a Doctor, Leading specialist in Otorhinolaryngology Clinic.
Zargi, Miha
[J]. ZDRAVNISKI VESTNIK-SLOVENIAN MEDICAL JOURNAL, 2009, 78 (10): : 583 - 584
[48] Prof Yehuda Amir - 1926-1996 - Obituary
Schwarzwald, J
[J]. INTERNATIONAL JOURNAL OF INTERCULTURAL RELATIONS, 1996, 20 (3-4) : 261 - 262
[49] Amir Tejani, MD, 1933-2002 - Obituary
Alexander, SR
Harmon, W
Fine, R
Kohaut, E
Benfield, M
[J]. AMERICAN JOURNAL OF TRANSPLANTATION, 2002, 2 (04) : 389 - 390
[50] Ralph Clair d'Arge: Obituary June 20, 1941-June 27, 2009
Wilen, James E.
[J]. JOURNAL OF ENVIRONMENTAL ECONOMICS AND MANAGEMENT, 2009, 58 (03) : 251 - 252

← 1 2 3 4 5 →