Search Results for COMPUTERS -- Computer Science. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTERS$002b--$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2026-06-16T21:46:46ZAutomated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072142026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071162026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATIONent://SD_ILS/0/SD_ILS:5707532026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Tiwari, Anurag. Darbari, Manuj.<br/>Preferred Shelf Number QA76<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003606635">https://www.taylorfrancis.com/books/9781003606635</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A gentle introduction to scientific computingent://SD_ILS/0/SD_ILS:5516382026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Stanescu, Dan, 1982- author.<br/>Preferred Shelf Number QA297<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429262876">https://www.taylorfrancis.com/books/9780429262876</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to bioinformatics and clinical scientific computingent://SD_ILS/0/SD_ILS:5917382026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Ganney, Paul, author.<br/>Preferred Shelf Number QA76<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003316244">https://www.taylorfrancis.com/books/9781003316244</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulationent://SD_ILS/0/SD_ILS:6124662026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33786-9">https://doi.org/10.1007/978-3-319-33786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114232026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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/>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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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/>Tools for High Performance Computing 2012ent://SD_ILS/0/SD_ILS:3344112026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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/>Extreme Man-Made and Natural Hazards in Dynamics of Structuresent://SD_ILS/0/SD_ILS:1695542026-06-16T21:46:46Z2026-06-16T21:46:46ZAuthor 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/>