Arama Sonu&ccedil;lar&#305; Solutions. - Daralt&#305;lm&#305;&#351;: Computer engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSolutions.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list 2025-04-01T18:24:05Z SAT-Based Scalable Formal Verification Solutions ent://SD_ILS/0/SD_ILS:166702 2025-04-01T18:24:05Z 2025-04-01T18:24:05Z Yazar&#160;Ganai, Malay K. author.&#160;Gupta, Aarti. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69167-1">http://dx.doi.org/10.1007/978-0-387-69167-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0 ent://SD_ILS/0/SD_ILS:485006 2025-04-01T18:24:05Z 2025-04-01T18:24:05Z Yazar&#160;Trojanowska, Justyna. editor.&#160;Ciszak, Olaf. editor.&#160;Machado, Jos&eacute; Mendes. editor.&#160;Pavlenko, Ivan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-18715-6">https://doi.org/10.1007/978-3-030-18715-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Acoustics: Concepts, Absorbers, and Silencers for Acoustical Comfort and Noise Control Alternative Solutions - Innovative Tools - Practical Examples ent://SD_ILS/0/SD_ILS:333232 2025-04-01T18:24:05Z 2025-04-01T18:24:05Z Yazar&#160;Fuchs, Helmut V. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(333232.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29367-2">http://dx.doi.org/10.1007/978-3-642-29367-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proceedings of International Conference on Computational Intelligence ICCI 2021 ent://SD_ILS/0/SD_ILS:527388 2025-04-01T18:24:05Z 2025-04-01T18:24:05Z Yazar&#160;Tiwari, Ritu. editor.&#160;Pavone, Mario F. editor.&#160;Ravindranathan Nair, Ranjith. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-19-2126-1">https://doi.org/10.1007/978-981-19-2126-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>