Search Results for COMPUTERS -- Computer Science. - Narrowed by: 1:SPRINGERSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTERS$002b--$002bComputer$002bScience.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-28T00:55:53ZAutomated 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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Numbers and Computersent://SD_ILS/0/SD_ILS:6063662026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Applications of Fuzzy Logic in Decision Making and Management Scienceent://SD_ILS/0/SD_ILS:6085232026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77719-6">https://doi.org/10.1007/978-3-031-77719-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Signal and Information Processing, Networking and Computers Proceedings of the 11th International Conference on Signal and Information Processing, Networking and Computers (ICSINC): Vol. IIent://SD_ILS/0/SD_ILS:6034702026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Wang, Yue. editor. Zou, Jiaqi. editor. Xu, Lexi. editor. Ling, Zhilei. editor. Cheng, Xinzhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2120-7">https://doi.org/10.1007/978-981-97-2120-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundation Mathematics for Computer Science A Visual Approachent://SD_ILS/0/SD_ILS:6053082026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66549-3">https://doi.org/10.1007/978-3-031-66549-3</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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Signal and Information Processing, Networking and Computers Proceedings of the 11th International Conference on Signal and Information Processing, Networking and Computers (ICSINC): Vol. Ient://SD_ILS/0/SD_ILS:6015262026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Wang, Yue. editor. Zou, Jiaqi. editor. Xu, Lexi. editor. Ling, Zhilei. editor. Cheng, Xinzhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2116-0">https://doi.org/10.1007/978-981-97-2116-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Signal and Information Processing, Networking and Computers Proceedings of the 11th International Conference on Signal and Information Processing, Networking and Computers (ICSINC): Vol. IIIent://SD_ILS/0/SD_ILS:6035162026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Wang, Yue. editor. Zou, Jiaqi. editor. Xu, Lexi. editor. Ling, Zhilei. editor. Cheng, Xinzhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2124-5">https://doi.org/10.1007/978-981-97-2124-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Face De-identification: Safeguarding Identities in the Digital Eraent://SD_ILS/0/SD_ILS:6042162026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58222-6">https://doi.org/10.1007/978-3-031-58222-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Continuous Biometric Authentication Systems An Overviewent://SD_ILS/0/SD_ILS:6023222026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Smith-Creasey, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49071-2">https://doi.org/10.1007/978-3-031-49071-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4ent://SD_ILS/0/SD_ILS:6023552026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Gunjan, Vinit Kumar. editor. Zurada, Jacek M. editor. Singh, Ninni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43009-1">https://doi.org/10.1007/978-3-031-43009-1</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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6183602026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Tatnall, Arthur. editor. (orcid)0000-0003-4317-971X Webb, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74310-3">https://doi.org/10.1007/978-3-319-74310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Classification of Medical Images: Computer Aided Diagnosisent://SD_ILS/0/SD_ILS:6115382026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Yin, Xiao-Xia. author. Hadjiloucas, Sillas. author. Zhang, Yanchun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57027-3">https://doi.org/10.1007/978-3-319-57027-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectivesent://SD_ILS/0/SD_ILS:6133392026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6238-4">https://doi.org/10.1007/978-981-10-6238-4</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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:6122122026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</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-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor 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/>Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESEent://SD_ILS/0/SD_ILS:6144412026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Long, Shengzhao. editor. Dhillon, Balbir S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2323-1">https://doi.org/10.1007/978-981-10-2323-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160012026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Clinical Decision Support Systems Theory and Practiceent://SD_ILS/0/SD_ILS:6177022026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Berner, Eta S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31913-1">https://doi.org/10.1007/978-3-319-31913-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part IIent://SD_ILS/0/SD_ILS:6161662026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Yamamoto, Sakae. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40397-7">https://doi.org/10.1007/978-3-319-40397-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Anthropology-Based Computing Putting the Human in Human-Computer Interactionent://SD_ILS/0/SD_ILS:6173152026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor Brown, John N.A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24421-1">https://doi.org/10.1007/978-3-319-24421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to the History of Computing A Computing History Primerent://SD_ILS/0/SD_ILS:6174622026-03-28T00:55:53Z2026-03-28T00:55:53ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33138-6">https://doi.org/10.1007/978-3-319-33138-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>