Search Results for Israel. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIsrael.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2025-12-22T21:25:34Z Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399450 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Dinur, Itai. editor.&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. 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-94147-9">https://doi.org/10.1007/978-3-319-94147-9</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 III ent://SD_ILS/0/SD_ILS:400625 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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/> String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332920 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Kurland, Oren. editor.&#160;Lewenstein, Moshe. editor.&#160;Porat, Ely. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332920.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02432-5">http://dx.doi.org/10.1007/978-3-319-02432-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335119 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Afek, Yehuda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335119.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41527-2">http://dx.doi.org/10.1007/978-3-642-41527-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 &ndash; June 2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195745 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Bruckstein, Alfred M. editor.&#160;Haar Romeny, Bart M. editor.&#160;Bronstein, Alexander M. editor.&#160;Bronstein, Michael M. 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-24785-9">http://dx.doi.org/10.1007/978-3-642-24785-9</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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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/> Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196475 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Theis, Fabian. editor.&#160;Cichocki, Andrzej. editor.&#160;Yeredor, Arie. editor.&#160;Zibulevsky, Michael. 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-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193978 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Namjoshi, Kedar. editor.&#160;Zeller, Andreas. editor.&#160;Ziv, Avi. 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-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194090 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Barner, Sharon. editor.&#160;Harris, Ian. editor.&#160;Kroening, Daniel. editor.&#160;Raz, Orna. 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-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:190091 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Chockler, Hana. editor.&#160;Hu, Alan J. 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-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191105 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Feldman, Yishai A. editor.&#160;Kraft, Donald. editor.&#160;Kuflik, Tsvi. 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-04941-5">http://dx.doi.org/10.1007/978-3-642-04941-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188019 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Kaklamanis, Christos. editor.&#160;Skutella, Martin. 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-77918-6">http://dx.doi.org/10.1007/978-3-540-77918-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings ent://SD_ILS/0/SD_ILS:188031 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Yorav, Karen. 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-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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/> Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers ent://SD_ILS/0/SD_ILS:186088 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Bin, Eyal. editor.&#160;Ziv, Avi. editor.&#160;Ur, Shmuel. 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-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms &ndash; ESA 2007 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187437 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Arge, Lars. editor.&#160;Hoffmann, Michael. editor.&#160;Welzl, Emo. 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-75520-3">http://dx.doi.org/10.1007/978-3-540-75520-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:185957 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Dubitzky, Werner. editor.&#160;Schuster, Assaf. editor.&#160;Sloot, Peter M. A. editor.&#160;Schroeder, Michael. editor.&#160;Romberg, Mathilde. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69968-2">http://dx.doi.org/10.1007/978-3-540-69968-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings ent://SD_ILS/0/SD_ILS:186680 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Akehurst, David H. editor.&#160;Vogel, R&eacute;gis. editor.&#160;Paige, Richard F. 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-72901-3">http://dx.doi.org/10.1007/978-3-540-72901-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183445 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Ur, Shmuel. editor.&#160;Bin, Eyal. editor.&#160;Wolfsthal, Yaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</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 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z 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/> Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184263 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Etzion, Opher. editor.&#160;Kuflik, Tsvi. editor.&#160;Motro, Amihai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780991">http://dx.doi.org/10.1007/11780991</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Speech Processing in Modern Communication Challenges and Perspectives ent://SD_ILS/0/SD_ILS:191588 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Cohen, Israel. editor.&#160;Benesty, Jacob. editor.&#160;Gannot, Sharon. 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-11130-3">http://dx.doi.org/10.1007/978-3-642-11130-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Noise Reduction in Speech Processing ent://SD_ILS/0/SD_ILS:189643 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Cohen, Israel. author.&#160;Huang, Yiteng. author.&#160;Chen, Jingdong. author.&#160;Benesty, Jacob. author.&#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-00296-0">http://dx.doi.org/10.1007/978-3-642-00296-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing Models ent://SD_ILS/0/SD_ILS:167069 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Zimmermann, Karl-Heinz. author.&#160;Mart&iacute;nez-P&eacute;rez, Israel. author.&#160;Ignatova, Zoya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-73637-2">http://dx.doi.org/10.1007/978-0-387-73637-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault Diagnosis and Tolerance in Cryptography Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184906 2025-12-22T21:25:34Z 2025-12-22T21:25:34Z Author&#160;Breveglieri, Luca. editor.&#160;Koren, Israel. editor.&#160;Naccache, David. editor.&#160;Seifert, Jean-Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11889700">http://dx.doi.org/10.1007/11889700</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>