Formal notions of non-interference and liveness for distributed systems

Benzer Tezler

1. Tez No

   767878

   Anayasa Mahkemesi'ne bireysel başvuru ve kararların Medenî Usûl Hukukuna etkileri

   Individual application to the Constitutional Court and the effects of decisions on Civil Procedure Law

   MEHMET EMİN ALPASLAN

   Doktora

   

   Türkçe

   2022

   HukukGalatasaray Üniversitesi

   Özel Hukuk Ana Bilim Dalı

   PROF. DR. YAŞAR HAKAN PEKCANITEZ

2. Tez No

   348942

   Uluslararası Hukuk ve Türk Ceza Hukuku bağlamında siber güvenlik ve bilişim sistemine yönelik suçlar

   The cyber security in the context of International Law and Turkish Penal Code and computer crimes

   ONUR SARI

   Yüksek Lisans

   

   Türkçe

   2013

   Bilim ve TeknolojiHarp Akademileri Komutanlığı

   Harp

   YRD. DOÇ. ASİYE SELCEN ATAÇ

3. Tez No

   399918

   Interregional Relations: Perspectives on the Summit of South American-Arab Countries 'New' patterns of engagement

   Bölgelerarasi ilişkiler: Güney Amerika - Arap Ülkeleri zirvesindeki 'Yeni' angajman yapısı perspektifleri

   MARSHA MARİE HALL

   Yüksek Lisans

   

   İngilizce

   2015

   Uluslararası İlişkilerOrta Doğu Teknik Üniversitesi

   Ortadoğu Araştırmaları Ana Bilim Dalı

   PROF. DR. MELİHA BENLİ ALTUNIŞIK

   DOÇ. DR. DERYA GÖÇER AKDER

4. Tez No

   39892

   Makro finansal programlama ve Türkiye deneyi

   Macro financial programming and the Turkish experience

   MEHMET KERİM GÖKAY

   Doktora

   

   Türkçe

   1994

   Mühendislik Bilimleriİstanbul Teknik Üniversitesi

   DOÇ.DR. İLBAN ONUR

5. Tez No

   347395

   La notion de ressentiment dans la genèse des valeurs selon Friedrich Nietzsche et Max Scheler

   Friedrich Nietzsche ve Max Scheler'e göre değerlerin kökeninde hınç mefhumu

   SELİN MERVE CANTO

   Yüksek Lisans

   

   Fransızca

   2013

   FelsefeGalatasaray Üniversitesi

   Felsefe Ana Bilim Dalı

   PROF. DR. ZEYNEP DIREK