أمير بنولي
مراجع

↑   http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
1 2   https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment. اطلع عليه بتاريخ 2024-06-24. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
↑  "معلومات عن أمير بنولي على موقع dblp.org". dblp.org. مؤرشف من الأصل في 2019-12-09.
↑  "معلومات عن أمير بنولي على موقع opc4.kb.nl". opc4.kb.nl. مؤرشف من الأصل في 2019-12-09.
↑  "معلومات عن أمير بنولي على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 2019-12-09.
1 2 3  "Amir Pnueli | Israeli computer scientist". Encyclopedia Britannica (بالإنجليزية). Archived from the original on 2020-11-05. Retrieved 2020-11-05.
| ع ن   الفائزون بجائزة تورنغ | ع ن   الفائزون بجائزة تورنغ |
| --- | --- |
عقد 1960:  آلان بيرليس (1966)  موريس ويلكس (1967)  ريتشارد هامينغ (1968)  مارفن مينسكي (1969) 
عقد 1970:  جيمس ويلكنسون (1970)  جون مكارثي (1971)  أيدسكر دايكسترا (1972)  تشارلز باتشمان (1973)  دونالد كانوث (1974)  ألن نيويل / هيربرت سيمون (1975)  مايكل رابين / دانا سكوت (1976)  جون باكوس (1977)  روبرت فلويد (1978)  كينيث إيفرسون (1979) 
عقد 1980:  توني هور (1980)  إدجار كود (1981)  ستيفن كوك (1982)  كين تومسن / دينيس ريتشي (1983)  نيكلاوس ويرث (1984)  ريتشارد كارب (1985)  جون هوبكروفت / روبرت تارجان (1986)  جون كوك (1987)  إيفان سذرلاند (1988)  وليام كاهان (1989) 
عقد 1990:  فرناندو كورباتو (1990)  روبن ميلنر (1991)  بتلر لامبسون (1992)  جوريس هارتمانيس / ريتشارد ستيرنز (1993)  إدوارد فيغنبوم / راج ريدي (1994)  مانويل بلوم (1995)  أمير بنولي (1996)  دوغلاس إنجيلبارت (1997)  جيم غراي (1998)  فريد بروكس (1999) 
عقد 2000:  أندرو ياو (2000)  أولي يوهان دال / كريستين نيغارد (2001)  رونالد ريفست / عدي شامير / ليونارد أدليمان (2002)  ألان كاي (2003)  فينت سيرف / روبرت خان (2004)  بيتر ناور (2005)  فرانسيس إليزابيث (2006)  إدموند كلارك / ألين إيمرسون / جوزيف سيفاكيس (2007)  باربارا لسكوف (2008)  تشارلز ثاكر (2009) 
عقد 2010:  ليزلي فالينت (2010)  جوديا بيارل (2011)  شافريرا غولدفاسر / سيلفيو ميكالي (2012)  ليسلي لامبورت (2013)  ميخائيل ستونبراكر (2014)  ويتفيلد ديفي / مارتن هيلمان (2015)  تيم بيرنرز لي (2016)  جون هينيسي / ديفيد باترسون (2017)  يوشوا بنجيو / جيوفري هينتون / يان ليكون (2018)  إدوين كاتمول / بات هانراهان (2019) 
عقد 2020:  ألفرد أهو / جيفري أولمان (2020)  جاك دونغارا (2021)  روبرت ميتكالف (2022)  آفي ويغرسون (2023) 
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية:  الاسم المعياري الدولي (ISNI)  ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF)  مركز المكتبة الرقمية على الإنترنت (WC Entities) 
وطنية:  المكتبة الوطنية الفرنسية (BnF)  الملف الاستنادي المتكامِل (GND)  المكتبة القومية الإسرائيلية (J9U)  المكتبة الملكية البلجيكية (KBR)  مكتبة الكونغرس (LCNAF)  قاعدة البيانات الوطنية التشيكية (NLCR AUT)  المَكنز الوطني للمؤلِّفين (NTA) 
بحثية:  المكتبة الرقمية لرابطة آلات الحوسبة (ACM DL)  الفهرس الرَّقميُّ ومشروع المكتبة (DBLP)  قاعدة بيانات المراجعين الرياضيين (MR)  مشروع إحصاء علماء الرياضيات  زنترالبلات 
أخرى:  النظام الجامعي للتوثيق (IdRef) 
بوابة علم الحاسوب
بوابة الولايات المتحدة
بوابة أعلام
بوابة إسرائيل
بوابة تقانة المعلومات