Formal notions of non-interference and liveness for distributed systems
Başlık çevirisi mevcut değil.
- Tez No: 403374
- Danışmanlar: Prof. LUCIA POMELLO, Dr. LUCA BERNARDINELLO
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2016
- Dil: İngilizce
- Üniversite: Unıversıta Deglı Studı Dı Mılano-Bıcocca (unıversıty Of Mılano-Bıcocca)
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Özet yok.
Özet (Çeviri)
Özet çevirisi mevcut değil.
Benzer Tezler
- 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
- 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
- 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 ÜniversitesiOrtadoğu Araştırmaları Ana Bilim Dalı
PROF. DR. MELİHA BENLİ ALTUNIŞIK
DOÇ. DR. DERYA GÖÇER AKDER
- Verex: yapay zeka yaklaşımına dayalı bir tıbbi teşhis programı
Verex: a medical diagnosis program based on artificial itelligence approach (VERtigo EXpert)
MURAT HANEF
Yüksek Lisans
Türkçe
1991
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. MEHMET KORÜREK
- Yaygın tarih eğitimi aracı olarak duvar takvimleri üretim süreci, içerik analizi ve kullanım biçimleri
Wall calenders, which are used as a non-formal history education method, of their production process, contents and the ways of usage
PELİN ZEYNEP PARLAK
Yüksek Lisans
Türkçe
2012
Eğitim ve ÖğretimGazi ÜniversitesiOrtaöğretim Sosyal Alanlar Eğitimi Ana Bilim Dalı
DOÇ. DR. BAHRİ ATA