Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday için kapak resmi
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Yazar 
Bowen, Jonathan P. editor. Li, Qin. editor. Xu, Qiwen. editor. SpringerLink (Online service)
Yer Numarası 
XX(521129.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40436-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334837.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings için kapak resmi
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
Yazar 
Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11901433
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers için kapak resmi
Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers
Yazar 
Leung, Elvis Wai Chung. editor. Wang, Fu Lee. editor. Miao, Langfang. editor. Zhao, Jianmin. editor. He, Jifeng. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89962-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: