Search Results for Logic design - Narrowed by: Computer networks&nbsp;. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300?dt=list 2026-04-13T19:26:48Z High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606490 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X&#160;Kruse, Carola. editor. (orcid)0000-0002-4142-7356&#160;Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73716-9">https://doi.org/10.1007/978-3-031-73716-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607835 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Chen, Xu. editor.&#160;Min, Geyong. editor.&#160;Guo, Deke. editor.&#160;Xie, Xia. editor.&#160;Pu, Lingjun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2830-8">https://doi.org/10.1007/978-981-96-2830-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607836 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Chen, Xu. editor.&#160;Min, Geyong. editor.&#160;Guo, Deke. editor.&#160;Xie, Xia. editor.&#160;Pu, Lingjun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2864-3">https://doi.org/10.1007/978-981-96-2864-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active Object Languages: Current Research Trends ent://SD_ILS/0/SD_ILS:602437 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;de Boer, Frank. editor.&#160;Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706&#160;H&auml;hnle, Reiner. editor.&#160;Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949&#160;Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1 ent://SD_ILS/0/SD_ILS:528616 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Liang, Qilian. editor.&#160;Wang, Wei. editor.&#160;Liu, Xin. editor.&#160;Na, Zhenyu. editor.&#160;Zhang, Baoju. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-2653-4">https://doi.org/10.1007/978-981-99-2653-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2 ent://SD_ILS/0/SD_ILS:529101 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Liang, Qilian. editor.&#160;Wang, Wei. editor.&#160;Liu, Xin. editor.&#160;Na, Zhenyu. editor.&#160;Zhang, Baoju. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-1260-5">https://doi.org/10.1007/978-981-99-1260-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3 ent://SD_ILS/0/SD_ILS:526859 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Liang, Qilian. editor.&#160;Wang, Wei. editor.&#160;Liu, Xin. editor.&#160;Na, Zhenyu. editor.&#160;Zhang, Baoju. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-2362-5">https://doi.org/10.1007/978-981-99-2362-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611054 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611952 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612715 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Phillips, Iain. editor.&#160;Rahaman, Hafizur. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59936-6">https://doi.org/10.1007/978-3-319-59936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Reversible Computing ent://SD_ILS/0/SD_ILS:613309 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Morita, Kenichi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616194 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Bodden, Eric. editor.&#160;Payer, Mathias. editor. (orcid)0000-0001-5054-7547&#160;Athanasopoulos, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62105-0">https://doi.org/10.1007/978-3-319-62105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Logic for Computing ent://SD_ILS/0/SD_ILS:617791 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Seiffertt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56839-3">https://doi.org/10.1007/978-3-319-56839-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude ent://SD_ILS/0/SD_ILS:617461 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;&Ouml;lveczky, Peter Csaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014 ent://SD_ILS/0/SD_ILS:529889 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Kim, Haeng Kon. editor.&#160;Amouzegar, Mahyar A. editor.&#160;Ao, Sio-long. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-7236-5">https://doi.org/10.1007/978-94-017-7236-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1 ent://SD_ILS/0/SD_ILS:530378 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Jain, Lakhmi C. editor.&#160;Patnaik, Srikanta. editor.&#160;Ichalkaranje, Nikhil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2012-1">https://doi.org/10.1007/978-81-322-2012-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems ent://SD_ILS/0/SD_ILS:530620 2026-04-13T19:26:48Z 2026-04-13T19:26:48Z Author&#160;Mu, Jiasong. editor.&#160;Liang, Qilian. editor.&#160;Wang, Wei. editor.&#160;Zhang, Baoju. editor.&#160;Pi, Yiming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08991-1">https://doi.org/10.1007/978-3-319-08991-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>