Search Results for Israel. - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIsrael.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300? 2024-09-17T20:52:32Z Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:400625 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78372-7">https://doi.org/10.1007/978-3-319-78372-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II ent://SD_ILS/0/SD_ILS:400626 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78375-8">https://doi.org/10.1007/978-3-319-78375-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I ent://SD_ILS/0/SD_ILS:400627 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78381-9">https://doi.org/10.1007/978-3-319-78381-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401459 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197489 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers ent://SD_ILS/0/SD_ILS:197531 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Golumbic, Martin Charles. editor.&#160;Stern, Michal. editor.&#160;Levy, Avivit. editor.&#160;Morgenstern, Gila. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34611-8">http://dx.doi.org/10.1007/978-3-642-34611-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Even, Guy. editor.&#160;Rawitz, Dror. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188041 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78135-6">http://dx.doi.org/10.1007/978-3-540-78135-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers ent://SD_ILS/0/SD_ILS:183401 2024-09-17T20:52:32Z 2024-09-17T20:52:32Z Author&#160;Herik, H. Jaap. editor.&#160;Bj&ouml;rnsson, Yngvi. editor.&#160;Netanyahu, Nathan S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11674399">http://dx.doi.org/10.1007/11674399</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>