000705818 000__ 01499cam\a2200409Ii\4500 000705818 001__ 705818 000705818 005__ 20230306135931.0 000705818 006__ m\\\\\o\\d\\\\\\\\ 000705818 007__ cr\un\nnnunnun 000705818 008__ 140624s2014\\\\nyua\\\\ob\\\\001\0\eng\d 000705818 020__ $$a9781493911035$$qelectronic book 000705818 020__ $$a1493911031$$qelectronic book 000705818 020__ $$z9781493911028 000705818 035__ $$aSP(OCoLC)ocn881696311 000705818 035__ $$aSP(OCoLC)881696311 000705818 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dGW5XE 000705818 049__ $$aISEA 000705818 050_4 $$aTK7874.75 000705818 08204 $$a621.395 000705818 1001_ $$aShi, Guoyong,$$eauthor. 000705818 24510 $$aAdvanced symbolic analysis for VLSI systems$$h[electronic resource] :$$bmethods and applications /$$cGuoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle. 000705818 264_1 $$aNew York :$$bSpringer,$$c[2014] 000705818 300__ $$a1 online resource :$$billustrations (some color) 000705818 336__ $$atext$$btxt$$2rdacontent 000705818 337__ $$acomputer$$bc$$2rdamedia 000705818 338__ $$aonline resource$$bcr$$2rdacarrier 000705818 504__ $$aIncludes bibliographical references and index. 000705818 506__ $$aAccess limited to authorized users. 000705818 650_0 $$aIntegrated circuits$$xVery large scale integration. 000705818 650_0 $$aSymbolic circuit analysis. 000705818 7001_ $$aTan, Sheldon X. D.,$$eauthor. 000705818 7001_ $$aTlelo-Cuautle, Esteban,$$eauthor. 000705818 77608 $$iPrint version:$$z9781493911028 000705818 85280 $$bebk$$hSpringerLink 000705818 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-1-4939-1103-5$$zOnline Access 000705818 909CO $$ooai:library.usi.edu:705818$$pGLOBAL_SET 000705818 980__ $$aEBOOK 000705818 980__ $$aBIB 000705818 982__ $$aEbook 000705818 983__ $$aOnline 000705818 994__ $$a92$$bISE