Search Results for Communication and technology - Narrowed by: Logic design SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dCommunication$002band$002btechnology$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign$0026ps$003d300? 2019-09-20T10:55:06Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330572 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Intelligent Information Processing VII [electronic resource] : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings<br/>by&#160;Shi, Zhongzhi. editor.&#160;Wu, Zhaohui. editor.&#160;Leake, David. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-44980-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1171915 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers<br/>by&#160;Mir, Salvador.&#160;Tsui, Chi-Ying.&#160;Reis, Ricardo.&#160;Choy, Oliver C. S.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-32770-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479871 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Computer Engineering and Technology [electronic resource] : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 &ndash; August 1, 2014, Revised Selected Papers<br/>by&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.&#160;Zhu, Zhenzhen. editor.<br/>Published&#160;2015.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-45815-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330350 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings<br/>by&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-11936-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1169328 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers<br/>by&#160;Xu, Weixia.&#160;Xiao, Liquan.&#160;Lu, Pingjing.&#160;Li, Jinwen.&#160;Zhang, Chengyi.<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-35898-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1170072 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings<br/>by&#160;Nishizaki, Shin-ya.&#160;Numao, Masayuki.&#160;Caro, Jaime.&#160;Suarez, Merlin Teodosia.&#160;SpringerLink (Online service)<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-4-431-54436-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1305971 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings<br/>by&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-02444-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1306622 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers<br/>by&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-41635-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1172005 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings<br/>by&#160;Chakraborty, Supratik.&#160;Mukund, Madhavan.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-33386-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1114137 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings<br/>by&#160;Ramanujam, R.&#160;Ramaswamy, Srini.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-28073-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1114688 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings<br/>by&#160;Nishizaki, Shin-ya.&#160;Numao, Masayuki.&#160;Caro, Jaime.&#160;Suarez, Merlin Teodosia.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-4-431-54106-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1112551 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings<br/>by&#160;Kim, Tai-hoon.&#160;Adeli, Hojjat.&#160;Kim, Haeng-kon.&#160;Kang, Heau-jo.&#160;Kim, Kyung Jung.<br/>Published&#160;2011.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-27207-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:610715 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings<br/>by&#160;Hutchison, David.&#160;Cha, Sungdeok (Steve)&#160;Choi, Jin-young.&#160;Kanade, Takeo.&#160;Kim, Moonzoo.<br/>Published&#160;2008.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-88387-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:526713 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22&ndash;25, 2007 Proceedings<br/>by&#160;Namjoshi, Kedar S.&#160;Higashino, Teruo.&#160;Okamura, Yoshio.&#160;Yoneda, Tomohiro.&#160;SpringerLink (Online service)<br/>Published&#160;2007.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-75596-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:525132 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Vertification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings<br/>by&#160;Graf, Susanne.&#160;Zhang, Wenhui.&#160;SpringerLink (Online service)<br/>Published&#160;2006.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11901914">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:552276 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Object-Oriented Technology [electronic resource] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18&ndash;22, 2001 Proceedings<br/>by&#160;Frohner, &Aacute;kos.<br/>Published&#160;2006.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-47853-1">e-book</a><br/>Note&#160;V34 no1-6, Jan-Jun 1992<br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:521595 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings<br/>by&#160;Peled, Doron A.&#160;Tsay, Yih-Kuen.&#160;SpringerLink (Online service)<br/>Published&#160;2005.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11562948">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192838 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings<br/>by&#160;Wang, Farn.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b102065">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195145 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets<br/>by&#160;Ehrig, Hartmut.&#160;Reisig, Wolfgang.&#160;Rozenberg, Grzegorz.&#160;Weber, Herbert.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b83526">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197471 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Object-Oriented Technology [electronic resource] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18&ndash;22, 2001 Proceedings<br/>by&#160;Frohner, &Aacute;kos.&#160;SpringerLink (Online service)<br/>Published&#160;2002.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-47853-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1193183 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Object-Oriented Technology ECOOP 2002 Workshop Reader [electronic resource] : ECOOP 2002 Workshops and Posters M&aacute;laga, Spain, June 10&ndash;14, 2002 Proceedings<br/>by&#160;Hern&aacute;ndez, Juan.&#160;Moreira, Ana.&#160;SpringerLink (Online service)<br/>Published&#160;2002.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-36208-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195399 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7&ndash;9, 2000 Proceedings<br/>by&#160;Castelfranchi, Cristiano.&#160;Lesp&eacute;rance, Yves.&#160;SpringerLink (Online service)<br/>Published&#160;2001.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-44631-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195344 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12&ndash;16, 2000 Proceedings<br/>by&#160;Goos, Gerhard.&#160;Hartmanis, Juris.&#160;Leeuwen, Jan.&#160;Malenfant, Jacques.&#160;Moisan, Sabine.<br/>Published&#160;2000.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-44555-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1208227 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Delta-4: A Generic Architecture for Dependable Distributed Computing [electronic resource]<br/>by&#160;Powell, David.&#160;SpringerLink (Online service)<br/>Published&#160;1991.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-84696-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1870893 2019-09-20T10:55:06Z 2019-09-20T10:55:06Z Analogue-digital ASICs [electronic resource] : Circuit techniques, design tools and applications<br/>by&#160;Soin, R. S., ed.&#160;Maloberti, F., ed.&#160;Franca, J., ed.<br/>Published&#160;1991.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1049/PBCS003E">e-book</a><br/>