Search Results for Technology -- India. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTechnology$002b--$002bIndia.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?
2026-01-20T13:40:42Z
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196340
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28073-3">http://dx.doi.org/10.1007/978-3-642-28073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197366
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193920
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19056-8">http://dx.doi.org/10.1007/978-3-642-19056-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191754
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11659-9">http://dx.doi.org/10.1007/978-3-642-11659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187774
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185310
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182343
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183361
2026-01-20T13:40:42Z
2026-01-20T13:40:42Z
Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>