Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Bouajjani, Ahmed. editor.
(2)
Albert, Elvira. editor.
(1)
Amos, Martyn. editor.
(1)
Antonucci, Alessandro. editor.
(1)
Dil
Yayın Yılı
-
2017
(14)
2016
(12)
2025
(1)
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
27 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
25. 
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings için kapak resmi
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Yazar 
Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42634-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Yazar 
Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39086-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Yazar 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: