Arama Sonu&ccedil;lar&#305; Technology -- China. - Daralt&#305;lm&#305;&#351;: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTechnology$002b--$002bChina.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?dt=list 2026-01-17T17:44:42Z Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15&ndash;17, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483833 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhu, Zhenzhen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-5919-4">https://doi.org/10.1007/978-981-13-5919-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402686 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Bi, Yuanguo. editor.&#160;Chen, Gang. editor.&#160;Deng, Qingxu. editor.&#160;Wang, Yi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334080 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Lu, Pingjing. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334080.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:335131 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Yer Numaras&#305;&#160;ONLINE(335131.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191051 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Liu, Zhiming. editor.&#160;Ravn, Anders P. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185008 2026-01-17T17:44:42Z 2026-01-17T17:44:42Z Yazar&#160;Graf, Susanne. editor.&#160;Zhang, Wenhui. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>