Search Results for Mathematical logic. - Narrowed by: Computer organization. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Computer$002borganization.$002509Computer$002borganization.$0026ps$003d300? 2024-11-18T18:28:18Z Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-11-18T18:28:18Z 2024-11-18T18:28:18Z Author&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483884 2024-11-18T18:28:18Z 2024-11-18T18:28:18Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30179-8">https://doi.org/10.1007/978-3-030-30179-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4&ndash;6, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486687 2024-11-18T18:28:18Z 2024-11-18T18:28:18Z Author&#160;Sengupta, Anirban. editor.&#160;Dasgupta, Sudeb. editor.&#160;Singh, Virendra. editor.&#160;Sharma, Rohit. editor.&#160;Kumar Vishvakarma, Santosh. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-32-9767-8">https://doi.org/10.1007/978-981-32-9767-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>