ليسلي لامبورت
مراجع

↑  Encyclopædia Britannica | Leslie Lamport (بالإنجليزية), QID:Q5375741
1 2   https://www.acm.org/media-center/2015/january/fellows-2014. اطلع عليه بتاريخ 2024-06-24. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
↑  "Computing Expert Says Programmers Need More Math | Quanta Magazine" (بالإنجليزية). Retrieved 2022-06-07.
↑  "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
↑  "Leslie Lamport - A.M. Turing Award Laureate" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
↑  "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
↑   https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
↑  Lamport، Leslie (مايو 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. ج. 16 ع. 3: 872–923. DOI:10.1145/177492.177726. مؤرشف من الأصل في 2012-11-05. اطلع عليه بتاريخ 2007-02-02.
↑  Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
↑  Hoffmann، L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. ج. 57 ع. 6: 112–ff. DOI:10.1145/2601077.
| ع ن   الفائزون بجائزة تورنغ | ع ن   الفائزون بجائزة تورنغ |
| --- | --- |
عقد 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) 
بوابة علم الحاسوب
بوابة الولايات المتحدة
بوابة أعلام
بوابة مايكروسوفت
بوابة تقانة المعلومات
في كومنز مواد ذات صلة بـ ليسلي لامبورت.
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية:  المُعرِّف مُتعدِّد الأوجه (FAST)  الاسم المعياري الدولي (ISNI)  ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF)  مركز المكتبة الرقمية على الإنترنت (WC Entities) 
وطنية:  نظام الضبط الاستنادي النرويجي (BIBSYS)  المكتبة الوطنية الفرنسية (BnF)  الملف الاستنادي المتكامِل (GND)  المكتبة الوطنية الإيطالية (SBN)  المكتبة القومية الإسرائيلية (J9U)  مكتبة الكونغرس (LCNAF)  مكتبة البرلمان القومي الياباني (NDL)  المكتبة القومية في بولندا (NLP) 
بحثية:  المكتبة الرقمية لرابطة آلات الحوسبة (ACM DL)  مُتصفِّح المعلومات الأكاديمية "سيني" (CiNii)  الفهرس الرَّقميُّ ومشروع المكتبة (DBLP)  قاعدة بيانات المراجعين الرياضيين (MR)  مشروع إحصاء علماء الرياضيات  مؤلف سكوبس  زنترالبلات 
أخرى:  النظام الجامعي للتوثيق (IdRef)