Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
144 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
by 
Bouajjani, Ahmed. editor.
Format: 
Alıntı: 
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26
by 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
Format: 
Alıntı: 
Theoretical Computer Science and General Issues,
by 
Cardoso, João M.P. author.
Format: 
Alıntı: 
Electrical and Electronic Engineering.
by 
Schürr, Andy. editor. (orcid)0000-0001-8100-1109
Format: 
Alıntı: 
Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver
by 
Koranne, Sandeep. author.
Format: 
Alıntı: 
Engineering-Data processing.