Search Results for COMPUTERS -- Computer Science. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTERS$002b--$002bComputer$002bScience.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ic$003dtrue$0026ps$003d300?2026-06-17T02:50:18ZAdvances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4849592026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34618-8">https://doi.org/10.1007/978-3-030-34618-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865362026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24922-9">https://doi.org/10.1007/978-3-030-24922-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839072026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863052026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16692-2">https://doi.org/10.1007/978-3-030-16692-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papersent://SD_ILS/0/SD_ILS:4827092026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36537-0">https://doi.org/10.1007/978-3-030-36537-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networksent://SD_ILS/0/SD_ILS:5123802026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Newman, M. E. J. (Mark E. J.), author.<br/>Preferred Shelf Number TK5105.5<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/oso/9780198805090.001.0001">http://dx.doi.org/10.1093/oso/9780198805090.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013122026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliabilityent://SD_ILS/0/SD_ILS:4002902026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78473-1">https://doi.org/10.1007/978-3-319-78473-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004952026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4008332026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016042026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93000-8">https://doi.org/10.1007/978-3-319-93000-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interrupt Handling Schemes in Operating Systemsent://SD_ILS/0/SD_ILS:4002132026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4012472026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854722026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4855152026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4874532026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11659-4">https://doi.org/10.1007/978-3-319-11659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part IIent://SD_ILS/0/SD_ILS:4889562026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889752026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4890162026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schoolsent://SD_ILS/0/SD_ILS:4891172026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55119-2">https://doi.org/10.1007/978-3-642-55119-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857422026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Problems in Mathematics and Computational Scienceent://SD_ILS/0/SD_ILS:4873032026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10683-0">https://doi.org/10.1007/978-3-319-10683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013ent://SD_ILS/0/SD_ILS:4850612026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45947-8">https://doi.org/10.1007/978-3-662-45947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for High Performance Computing 2012ent://SD_ILS/0/SD_ILS:3344112026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.<br/>Preferred Shelf Number ONLINE(334411.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37349-7">http://dx.doi.org/10.1007/978-3-642-37349-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Invisible in the storm : the role of mathematics in understanding weatherent://SD_ILS/0/SD_ILS:3770602026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Roulstone, Ian. Norbury, John, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt1r2dvw">http://www.jstor.org/stable/10.2307/j.ctt1r2dvw</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The golden ticket : P, NP, and the search for the impossibleent://SD_ILS/0/SD_ILS:3770882026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Fortnow, Lance, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt24hpm0">http://www.jstor.org/stable/10.2307/j.ctt24hpm0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal methods for industrial critical systems a survey of applicationsent://SD_ILS/0/SD_ILS:2493982026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The interface : IBM and the transformation of corporate design, 1945/1976ent://SD_ILS/0/SD_ILS:3761402026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Harwood, John, 1977-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.5749/j.cttttmjx">http://www.jstor.org/stable/10.5749/j.cttttmjx</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Connections patterns of discoveryent://SD_ILS/0/SD_ILS:2497712026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Alesso, H. P. Smith, C. F. (Craig Forsythe), 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extreme Man-Made and Natural Hazards in Dynamics of Structuresent://SD_ILS/0/SD_ILS:1695542026-06-17T02:50:18Z2026-06-17T02:50:18ZAuthor Ibrahimbegovic, Adnan. editor. Kozar, Ivica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5656-7">http://dx.doi.org/10.1007/978-1-4020-5656-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>