Search Results for Symbolic circuit analysis. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSymbolic$002bcircuit$002banalysis.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026pe$003dd$00253A$0026ps$003d300?2024-11-14T05:52:51ZTools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208402024-11-14T05:52:51Z2024-11-14T05:52:51ZAuthor Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Designent://SD_ILS/0/SD_ILS:5185512024-11-14T05:52:51Z2024-11-14T05:52:51ZAuthor Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518551.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19872-9">https://doi.org/10.1007/978-3-319-19872-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic analysis techniques applications to analog design automationent://SD_ILS/0/SD_ILS:2496852024-11-14T05:52:51Z2024-11-14T05:52:51ZAuthor Fernández, Francisco V., 1965-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264205">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>