Search Results for Circuits and Systems. - Narrowed by: Computer logic. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dCircuits$002band$002bSystems.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300? 2024-09-03T01:46:09Z Collaborative Design for Embedded Systems Co-modelling and Co-simulation ent://SD_ILS/0/SD_ILS:23956 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54118-6">http://dx.doi.org/10.1007/978-3-642-54118-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21527 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Legay, Axel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10512-3">http://dx.doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427874 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Thachuk, Chris. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format:&#160;Electronic Resources<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:428765 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format:&#160;Electronic Resources<br/> Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18111 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Devitt, Simon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40578-0">http://dx.doi.org/10.1007/978-3-319-40578-0</a><br/>Format:&#160;Electronic Resources<br/> Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23080 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Krivine, Jean. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20860-2">http://dx.doi.org/10.1007/978-3-319-20860-2</a><br/>Format:&#160;Electronic Resources<br/> Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23033 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Beklemishev, Lev D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20297-6">http://dx.doi.org/10.1007/978-3-319-20297-6</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:24051 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54833-8">http://dx.doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18117 2024-09-03T01:46:09Z 2024-09-03T01:46:09Z Yazar&#160;Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;Electronic Resources<br/>