22 vztahy: Association for Computing Machinery, Britský mandát Palestina, Informatika, Izrael, Izraelská cena, Mošav, Nahalal, New York, New York University, Profesor, Rechovot, Spojené státy americké, Stanfordova univerzita, Technion - Izraelský technologický institut, Telavivská univerzita, Temporální logika, Turingova cena, Weizmannův institut věd, 1941, 2. listopad, 2009, 22. duben.
Association for Computing Machinery
Association for Computing Machinery (ACM) je mezinárodní učená společnost působící v oblasti výpočetní techniky.
Nový!!: Amir Pnueli a Association for Computing Machinery · Vidět víc »
Britský mandát Palestina
Britský mandát Palestina, známý také jako Mandát pro Palestinu, bylo mandátní území Velké Británie, které jí bylo svěřeno Společností národů na Pařížské mírové konferenci z roku 1919.
Nový!!: Amir Pnueli a Britský mandát Palestina · Vidět víc »
Informatika
Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.
Nový!!: Amir Pnueli a Informatika · Vidět víc »
Izrael
Izrael, plným názvem Stát Izrael, je stát na Blízkém východě v oblasti jihozápadní Asie, kde leží při východním pobřeží Středozemního moře.
Nový!!: Amir Pnueli a Izrael · Vidět víc »
Izraelská cena
200px Izraelská cena je ocenění udílené Státem Izrael.
Nový!!: Amir Pnueli a Izraelská cena · Vidět víc »
Mošav
Mošav Nahalal v Jizre'elském údolí. Mošav je typ zemědělské osady v Izraeli, která je tvořená společně hospodařícími soukromými statky.
Nový!!: Amir Pnueli a Mošav · Vidět víc »
Nahalal
Nahalal (נַהֲלָל, Nahalal) je vesnice typu mošav v Izraeli, v Severním distriktu, v Oblastní radě Jizre'elské údolí.
Nový!!: Amir Pnueli a Nahalal · Vidět víc »
New York
New York, oficiálně City of New York, v běžném užívání i New York City, je nejlidnatější město Spojených států amerických.
Nový!!: Amir Pnueli a New York · Vidět víc »
New York University
#PŘESMĚRUJ Newyorská univerzita.
Nový!!: Amir Pnueli a New York University · Vidět víc »
Profesor
Profesor (z latinského profiteri, přibližně veřejně vyznávat) je nejvyšší pedagogická hodnost vysokoškolského pedagoga, tedy vyšší než docent.
Nový!!: Amir Pnueli a Profesor · Vidět víc »
Rechovot
Rechovot (v oficiálním přepisu do angličtiny Rehovot) je město v Centrálním distriktu Státu Izrael.
Nový!!: Amir Pnueli a Rechovot · Vidět víc »
Spojené státy americké
Spojené státy americké, zkráceným názvem Spojené státy, zkratkou USA (nebo také US), jsou demokratická federativní prezidentská republika v Severní Americe, rozkládající se mezi Atlantským oceánem na východě a Tichým oceánem na západě.
Nový!!: Amir Pnueli a Spojené státy americké · Vidět víc »
Stanfordova univerzita
Prostor před kostelem Stanfordova univerzita (anglicky Stanford University), plným jménem Leland Stanford Junior University, je americká soukromá univerzita ve Stanfordu nedaleko Palo Alto v Kalifornii v srdci Silicon Valley.
Nový!!: Amir Pnueli a Stanfordova univerzita · Vidět víc »
Technion - Izraelský technologický institut
#PŘESMĚRUJ Technion – Izraelský technologický institut.
Nový!!: Amir Pnueli a Technion - Izraelský technologický institut · Vidět víc »
Telavivská univerzita
Telavivská univerzita (hebrejsky אוניברסיטת תל אביב; anglicky Tel Aviv University, TAU) je největší izraelská univerzita uznávaná a proslulá v oblastech výzkumu fyziky, počítačových technologií, lingvistiky a chemie.
Nový!!: Amir Pnueli a Telavivská univerzita · Vidět víc »
Temporální logika
Temporální logika je široké spektrum formálních systémů, jejichž společným cílem je formalizovat a analyzovat věty obsahující časové (temporální) komponenty jako někdy, vždy či dokud.
Nový!!: Amir Pnueli a Temporální logika · Vidět víc »
Turingova cena
Cena A. M. Turinga je ocenění udělované každoročně Asociací výpočetní techniky (ACM) jednotlivcům za jejich technický přínos v oboru informatiky.
Nový!!: Amir Pnueli a Turingova cena · Vidět víc »
Weizmannův institut věd
Weizmannův institut věd (מכון ויצמן למדע,: Weizmann Institute of Science; WIS) je špičkové vědecké pracoviště, jedno z deseti nejprestižnějších vědeckých pracovišť světa a univerzita ve městě Rechovot v Izraeli.
Nový!!: Amir Pnueli a Weizmannův institut věd · Vidět víc »
1941
1941 (MCMXLI) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Amir Pnueli a 1941 · Vidět víc »
2. listopad
2.
Nový!!: Amir Pnueli a 2. listopad · Vidět víc »
2009
Rok 2009 (MMIX) gregoriánského kalendáře začal ve čtvrtek 1.
Nový!!: Amir Pnueli a 2009 · Vidět víc »
22. duben
22.
Nový!!: Amir Pnueli a 22. duben · Vidět víc »