Search Results for Operating systems (computers)

Linux bible / Christopher Negus.

2026-03-16T15:58:04Z

Author Negus, Chris, 1957- author.
Preferred Shelf Number QA76.76 .O63
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394406647
Format: Electronic Resources
Availability Online Library~1

MOBILE PENETRATION TESTING a hands-on approach.

2026-03-16T15:58:04Z

Author Paul, Sabyasachi. Saha, Sajal.
Preferred Shelf Number QA76.774 .A53
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003450474 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi 5 system administration basics

2026-03-16T15:58:04Z

Author Koretsky, Robert, author.
Preferred Shelf Number QA76.8 .R15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003652427 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

2026-03-16T15:58:04Z

Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81226-2
Format: Electronic Resources
Availability Online Library~1

Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author He, Debiao. editor. (orcid)0000-0002-2446-7436 Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Wang, Chen. editor. (orcid)0000-0002-3951-3159 Huang, Huawei. editor. (orcid)0000-0002-7035-6446 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1411-0
Format: Electronic Resources
Availability Online Library~1

Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author He, Debiao. editor. (orcid)0000-0002-2446-7436 Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Wang, Chen. editor. (orcid)0000-0002-3951-3159 Huang, Huawei. editor. (orcid)0000-0002-7035-6446 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1414-1
Format: Electronic Resources
Availability Online Library~1

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance

2026-03-16T15:58:04Z

Author Zhuldassov, Nurzhan. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90754-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-16T15:58:04Z

Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90900-9
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-03-16T15:58:04Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75144-8
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-03-16T15:58:04Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75147-9
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security. FC 2024 International Workshops Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers

2026-03-16T15:58:04Z

Author Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Kulyk, Oksana. editor. (orcid)0000-0003-4218-1658 Allen, Sarah. editor. Diamandis, Theo. editor. (orcid)0000-0003-0657-5959 Klages-Mundt, Ariah. editor. (orcid)0000-0002-5577-1000
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69231-4
Format: Electronic Resources
Availability Online Library~1

Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6243-2
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-16T15:58:04Z

Author Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95728-4
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II

2026-03-16T15:58:04Z

Author Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95764-2
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

2026-03-16T15:58:04Z

Author Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94544-1
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

2026-03-16T15:58:04Z

Author Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75431-9
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

2026-03-16T15:58:04Z

Author Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74498-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-03-16T15:58:04Z

Author Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72578-4
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part I

2026-03-16T15:58:04Z

Author Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95761-1
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part III

2026-03-16T15:58:04Z

Author Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95767-3
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

2026-03-16T15:58:04Z

Author Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0914-7
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78679-2
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings

2026-03-16T15:58:04Z

Author Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91736-3
Format: Electronic Resources
Availability Online Library~1

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

2026-03-16T15:58:04Z

Author Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4442-1
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II

2026-03-16T15:58:04Z

Author Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2864-3
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I

2026-03-16T15:58:04Z

Author Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2830-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-16T15:58:04Z

Author Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95497-9
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-03-16T15:58:04Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94569-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-03-16T15:58:04Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94571-7
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

2026-03-16T15:58:04Z

Author Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95589-1
Format: Electronic Resources
Availability Online Library~1

Cognitive Computing - ICCC 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-16T15:58:04Z

Author Xu, Ruifeng. editor. (orcid)0000-0002-4009-5679 Chen, Huan. editor. Wu, Yirui. editor. (orcid)0000-0003-3022-3718 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77954-1
Format: Electronic Resources
Availability Online Library~1

Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6232-6
Format: Electronic Resources
Availability Online Library~1

Web Services - ICWS 2024 31st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-16T15:58:04Z

Author Zhang, Yuchao. editor. (orcid)0000-0002-0135-8915 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77072-2
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78676-1
Format: Electronic Resources
Availability Online Library~1

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

2026-03-16T15:58:04Z

Author Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86493-3
Format: Electronic Resources
Availability Online Library~1

Mobile OS vulnerabilities : quantitative and qualitative analysis

2026-03-16T15:58:04Z

Author Garg, Shivi, author. Baliyan, Niyati, author.
Preferred Shelf Number QA76.59
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003354574 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Operating systems : evolutionary concepts and modern design principles

2026-03-16T15:58:04Z

Author Chakraborty, Pranabananda, author.
Preferred Shelf Number QA76.77
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003383055 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi OS Text Editors, git, and LXC : A Practical Approach.

2026-03-16T15:58:04Z

Author Koretsky, Robert, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003455813 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

RASPBERRY PI OS SYSTEM ADMINISTRATION ancillary topics.

2026-03-16T15:58:04Z

Author Koretsky, Robert.
Preferred Shelf Number QA76.8 .R15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003473268 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The Fundamental Research for Trustworthy Software

2026-03-16T15:58:04Z

Author He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5589-3
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

2026-03-16T15:58:04Z

Author Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48796-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

2026-03-16T15:58:04Z

Author Tekinerdoğan, Bedir. editor. (orcid)0000-0002-8538-7261 Spalazzese, Romina. editor. (orcid)0000-0003-0326-0556 Sözer, Hasan. editor. (orcid)0000-0002-2968-4763 Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Weyns, Danny. editor. (orcid)0000-0002-1162-0817
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66326-0
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

2026-03-16T15:58:04Z

Author Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56580-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64748-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64755-0
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

2026-03-16T15:58:04Z

Author Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7872-4
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings

2026-03-16T15:58:04Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46813-1
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

2026-03-16T15:58:04Z

Author Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54770-6
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III

2026-03-16T15:58:04Z

Author Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54776-8
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

2026-03-16T15:58:04Z

Author Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64573-0
Format: Electronic Resources
Availability Online Library~1

Blockchain Technology and Application 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers

2026-03-16T15:58:04Z

Author Zhu, Jianming. editor. Wu, Qianhong. editor. Ding, Yong. editor. (orcid)0000-0002-3571-7576 Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3203-6
Format: Electronic Resources
Availability Online Library~1

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

2026-03-16T15:58:04Z

Author Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51849-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

2026-03-16T15:58:04Z

Author Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52823-1
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

2026-03-16T15:58:04Z

Author Emek, Yuval. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60603-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

2026-03-16T15:58:04Z

Author Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Venters, Colin C. editor. (orcid)0000-0001-8664-9107
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71246-3
Format: Electronic Resources
Availability Online Library~1

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2026-03-16T15:58:04Z

Author Buttazzo, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45410-3
Format: Electronic Resources
Availability Online Library~1

Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II

2026-03-16T15:58:04Z

Author Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8104-5
Format: Electronic Resources
Availability Online Library~1

Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I

2026-03-16T15:58:04Z

Author Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8101-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2023: Parallel Processing Workshops Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Blanco Heras, Dora. editor. Pallis, George. editor. Herodotou, Herodotos. editor. (orcid)0000-0002-8717-1691 Trihinas, Demetris. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48803-0
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-16T15:58:04Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57259-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

2026-03-16T15:58:04Z

Author Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61154-4
Format: Electronic Resources
Availability Online Library~1

Cognitive Computing - ICCC 2023 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 Proceedings

2026-03-16T15:58:04Z

Author Pan, Xiuqin. editor. Jin, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51671-9
Format: Electronic Resources
Availability Online Library~1

Data Storage Architectures and Technologies

2026-03-16T15:58:04Z

Author Shu, Jiwu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3534-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2023: Parallel Processing Workshops Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Blanco Heras, Dora. editor. Pallis, George. editor. Herodotou, Herodotos. editor. (orcid)0000-0002-8717-1691 Trihinas, Demetris. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50684-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-03-16T15:58:04Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49269-3
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

2026-03-16T15:58:04Z

Author Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47751-5
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

2026-03-16T15:58:04Z

Author Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47754-6
Format: Electronic Resources
Availability Online Library~1

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

2026-03-16T15:58:04Z

Author Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56281-5
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-03-16T15:58:04Z

Author Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62645-6
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-03-16T15:58:04Z

Author Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62697-5
Format: Electronic Resources
Availability Online Library~1

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

2026-03-16T15:58:04Z

Author Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0006-6
Format: Electronic Resources
Availability Online Library~1

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

2026-03-16T15:58:04Z

Author Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53227-6
Format: Electronic Resources
Availability Online Library~1

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

2026-03-16T15:58:04Z

Author Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55729-3
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II

2026-03-16T15:58:04Z

Author Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54773-7
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-03-16T15:58:04Z

Author Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62638-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-03-16T15:58:04Z

Author Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61057-8
Format: Electronic Resources
Availability Online Library~1

Robot Operating System (ROS) The Complete Reference (Volume 7)

2026-03-16T15:58:04Z

Author Koubaa, Anis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-09062-2
Format: Electronic Resources
Availability Online Library~1

Customizable and adaptive quantum processors : theory and applications

2026-03-16T15:58:04Z

Author Nedjah, Nadia, author. Macedo Mourelle, Luiza de, author.
Preferred Shelf Number QA76.889
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003344094 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi OS system administration with systemd : a practical approach

2026-03-16T15:58:04Z

Author Koretsky, Robert, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003455530 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi OS system administration with systemd and Python : a practical approach

2026-03-16T15:58:04Z

Author Koretsky, Robert, author.
Preferred Shelf Number QA76.8 .R15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003455806 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Windows Server

2026-03-16T15:58:04Z

Author Yıldırımoğlu, Murat.
Preferred Shelf Number QA76.774.M55 Y53 2022
Format: Books
Availability Beytepe Library~1

Windows Server 2022 : kurulum, yönetim ve onarım işlemleri

2026-03-16T15:58:04Z

Author Arıcı, Haydar Yener.
Preferred Shelf Number QA76.774.M55 A75 2022
Format: Books
Availability Beytepe Library~1

Handbook of the Tutte polynomial and related topics

2026-03-16T15:58:04Z

Author Ellis-Monaghan, Joanna Anthony, editor. Moffatt, Iain, editor.
Preferred Shelf Number QA161 .P59
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429161612 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Partnering with HMS : a guide for app developers

2026-03-16T15:58:04Z

Author Wang, Xihai, 1980- author. Wang, Yue, 1977- author. Wu, Hailiang, 1983- author.
Preferred Shelf Number QA76.59
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003206699 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Sistem ve network mühendisliği

2026-03-16T15:58:04Z

Author Kırbaş, Kayhan.
Preferred Shelf Number QA76.76.O63 K463 2021
Format: Books
Availability Beytepe Library~1

Sistem ve network mühendisliği

2026-03-16T15:58:04Z

Author Kırbaş, Kayhan. Soylu, İrem.
Preferred Shelf Number QA76.76.O63 K463 2021
Format: Books
Availability Beytepe Library~1

Multi-processor system-on-chip. 2, Applications

2026-03-16T15:58:04Z

Author Andrade, Liliana, editor. Rousseau, Frédéric, 1967- editor.
Preferred Shelf Number TK7895 .E42
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119818410
Format: Electronic Resources
Availability Online Library~1

Recent advancements in graph theory

2026-03-16T15:58:04Z

Author Shrimali, N. P., editor. Shah, Nita H., editor.
Preferred Shelf Number QA166 .R42 2020
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003038436 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Linux yourself concept and programming

2026-03-16T15:58:04Z

Author Singh, Sunil K., author.
Preferred Shelf Number QA76.774 .L46
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429446047 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of radar signal analysis

2026-03-16T15:58:04Z

Author Mahafza, Bassem R., editor. Winton, Scott C., editor. Elsherbeni, Atef Z., editor.
Preferred Shelf Number TK6575
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315161402 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Deterministic and stochastic optimal control and inverse problems

2026-03-16T15:58:04Z

Author Jadamba, Baasansuren, editor. Khan, Akhtar A., editor. Migórski, Stanisław, 1961- editor. Sama, Miguel, editor.
Preferred Shelf Number QA371 .D437 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003050575 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

İşletim sistemleri : bilgisayar mühendisliği

2026-03-16T15:58:04Z

Author Çoşkun, Vedat.
Preferred Shelf Number QA76.76 I764 2020
Format: Books
Availability Beytepe Library~2

Distributed fiber sensing and dynamic ratings of power cable

2026-03-16T15:58:04Z

Author Cherukupalli, Sudhakar Ellapragada, 1954- author. Anders, George J., author.
Preferred Shelf Number TK5103.15
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119487739
Format: Electronic Resources
Availability Online Library~1

Linux Bible

2026-03-16T15:58:04Z

Author Negus, Chris, 1957-
Preferred Shelf Number QA76.76 .O63 N44 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119578956
Format: Electronic Resources
Availability Online Library~1

Windows operating system fundamentals

2026-03-16T15:58:04Z

Author Panek, Crystal, author.
Preferred Shelf Number QA76.774 .M435
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119650645
Format: Electronic Resources
Availability Online Library~1

Hands on hacking

2026-03-16T15:58:04Z

Author Hickey, Matthew (Computer security expert), author. Arcuri, Jennifer, author.
Preferred Shelf Number QA76.9 .A25 H53 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119561507
Format: Electronic Resources
Availability Online Library~1

Enhancing Business Continuity and IT Capability System Administration and Server Operating Platforms.

2026-03-16T15:58:04Z

Author Bajgorić, Nijaz. Turulja, Lejla, 1981- Ibrahimovic, Semir, 1969- Alagic, Amra, 1976-
Preferred Shelf Number HD30.213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003106098 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The design and implementation of the RT-thread operating system

2026-03-16T15:58:04Z

Author Qiu, Yi, author. Xiong, Puxiang, author. Zhu, Tianlong, author.
Preferred Shelf Number QA76.77
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003099000 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2026-03-16T15:58:04Z

Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources
Availability Online Library~1

Searchable Storage in Cloud Computing

2026-03-16T15:58:04Z

Author Hua, Yu. author. Liu, Xue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2721-6
Format: Electronic Resources
Availability Online Library~1

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2026-03-16T15:58:04Z

Author Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16272-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2026-03-16T15:58:04Z

Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19909-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

2026-03-16T15:58:04Z

Author Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24922-9
Format: Electronic Resources
Availability Online Library~1

İşletim sistemleri ve sistem programlama

2026-03-16T15:58:04Z

Author Avcı, Mutlu. Özyıldırım, Buse Melis. Ülgen, Onur.
Preferred Shelf Number QA76.76.O63 A94 2019
Format: Books
Availability Beytepe Library~1

GNU LINUX

2026-03-16T15:58:04Z

Author Ertuğrul, İlker .
Preferred Shelf Number QA76.76.O63 E78 2019
Format: Books
Availability Beytepe Library~1

Distributed Computing by Mobile Entities Current Research in Moving and Computing

2026-03-16T15:58:04Z

Author Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11072-7
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2026-03-16T15:58:04Z

Author Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18656-2
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2026-03-16T15:58:04Z

Author Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15663-3
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2026-03-16T15:58:04Z

Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

2026-03-16T15:58:04Z

Author Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36027-6
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2026-03-16T15:58:04Z

Author Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29611-7
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2026-03-16T15:58:04Z

Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29750-3
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers V

2026-03-16T15:58:04Z

Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

2026-03-16T15:58:04Z

Author Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16350-1
Format: Electronic Resources
Availability Online Library~1

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2026-03-16T15:58:04Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36592-9
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2026-03-16T15:58:04Z

Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources
Availability Online Library~1

Operating Systems for Supercomputers and High Performance Computing

2026-03-16T15:58:04Z

Author Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6624-6
Format: Electronic Resources
Availability Online Library~1

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15651-0
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2026-03-16T15:58:04Z

Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources
Availability Online Library~1

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2026-03-16T15:58:04Z

Author Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20351-1
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings

2026-03-16T15:58:04Z

Author Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30709-7
Format: Electronic Resources
Availability Online Library~1

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

2026-03-16T15:58:04Z

Author Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-38043-4
Format: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2026-03-16T15:58:04Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-03-16T15:58:04Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Exploring BeagleBone® : tools and techniques for building with embedded Linux

2026-03-16T15:58:04Z

Author Molloy, Derek, 1973- author.
Preferred Shelf Number TK7895 .E42 M6556 201 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119561477
Format: Electronic Resources
Availability Online Library~1

Transformational security awareness : what neuroscientists, storytellers, and marketers can teach us about driving secure behaviors

2026-03-16T15:58:04Z

Author Carpenter, Perry, author.
Preferred Shelf Number QA76.9 .A25 C37 2019 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119566380
Format: Electronic Resources
Availability Online Library~1

CompTIA Linux+ study guide : exam XK0-004

2026-03-16T15:58:04Z

Author Bresnahan, Christine, author. Blum, Richard.
Preferred Shelf Number QA76.3 .B36 2019 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119556060
Format: Electronic Resources
Availability Online Library~1

CompTIA Linux+ practice tests : exams XK0-004

2026-03-16T15:58:04Z

Author Suehring, Steve, author.
Preferred Shelf Number QA76.774 .L46
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119556091
Format: Electronic Resources
Availability Online Library~1

MCA Modern Desktop Administrator study guide : Exam MD-100

2026-03-16T15:58:04Z

Author Panek, William, 1970- author.
Preferred Shelf Number QA76.774 .M435
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119605980
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2026-03-16T15:58:04Z

Author Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2026-03-16T15:58:04Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2026-03-16T15:58:04Z

Author Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources
Availability Online Library~1

System and Architecture Proceedings of CSI 2015

2026-03-16T15:58:04Z

Author Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-03-16T15:58:04Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01325-7
Format: Electronic Resources
Availability Online Library~1

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2026-03-16T15:58:04Z

Author Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2026-03-16T15:58:04Z

Author Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources
Availability Online Library~1

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2026-03-16T15:58:04Z

Author Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78473-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2026-03-16T15:58:04Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2026-03-16T15:58:04Z

Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources
Availability Online Library~1

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2026-03-16T15:58:04Z

Author Popescu, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71718-0
Format: Electronic Resources
Availability Online Library~1

Safety-Critical Electrical Drives Topologies, Reliability, Performance

2026-03-16T15:58:04Z

Author Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89969-5
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-16T15:58:04Z

Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Applied Cryptography

2026-03-16T15:58:04Z

Author Menezes, Alfred J., author. Katz, Jonathan, author. van Oorschot, Paul C., author. Vanstone, Scott A., author. Taylor and Francis.
Preferred Shelf Number QA76.9 .A25
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVIII

2026-03-16T15:58:04Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2026-03-16T15:58:04Z

Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources
Availability Online Library~1

Software Fault Detection and Correction: Modeling and Applications

2026-03-16T15:58:04Z

Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1162-8
Format: Electronic Resources
Availability Online Library~1

Advanced Maintenance Policies for Shock and Damage Models

2026-03-16T15:58:04Z

Author Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70456-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2026-03-16T15:58:04Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources
Availability Online Library~1

Systems Programming in Unix/Linux

2026-03-16T15:58:04Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIII

2026-03-16T15:58:04Z

Author Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58381-4
Format: Electronic Resources
Availability Online Library~1

Data and Energy Integrated Communication Networks A Brief Introduction

2026-03-16T15:58:04Z

Author Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0116-2
Format: Electronic Resources
Availability Online Library~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2026-03-16T15:58:04Z

Author Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92624-7
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

2026-03-16T15:58:04Z

Author Kochs, Hans-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64991-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2026-03-16T15:58:04Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2026-03-16T15:58:04Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources
Availability Online Library~1

Embedded Operating Systems A Practical Approach

2026-03-16T15:58:04Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72977-0
Format: Electronic Resources
Availability Online Library~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2026-03-16T15:58:04Z

Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-03-16T15:58:04Z

Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2026-03-16T15:58:04Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57932-9
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94959-8
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2026-03-16T15:58:04Z

Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources
Availability Online Library~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-03-16T15:58:04Z

Author Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-03-16T15:58:04Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2026-03-16T15:58:04Z

Author Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources
Availability Online Library~1

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

2026-03-16T15:58:04Z

Author ASC Community. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3731-3
Format: Electronic Resources
Availability Online Library~1

The Hardware Trojan War Attacks, Myths, and Defenses

2026-03-16T15:58:04Z

Author Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68511-3
Format: Electronic Resources
Availability Online Library~1

Performance gaps of machines A process oriented approach

2026-03-16T15:58:04Z

Author Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56446-2
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2026-03-16T15:58:04Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXXIII

2026-03-16T15:58:04Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2026-03-16T15:58:04Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-03-16T15:58:04Z

Author Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2026-03-16T15:58:04Z

Author Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources
Availability Online Library~1

5G Wireless Systems Simulation and Evaluation Techniques

2026-03-16T15:58:04Z

Author Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61869-2
Format: Electronic Resources
Availability Online Library~1

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

2026-03-16T15:58:04Z

Author Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1073-6
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2026-03-16T15:58:04Z

Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources
Availability Online Library~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2026-03-16T15:58:04Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

2026-03-16T15:58:04Z

Author Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93411-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2026-03-16T15:58:04Z

Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2026-03-16T15:58:04Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Closing the Gap Between Practice and Research in Industrial Engineering

2026-03-16T15:58:04Z

Author Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58409-6
Format: Electronic Resources
Availability Online Library~1

Dependable Multicore Architectures at Nanoscale

2026-03-16T15:58:04Z

Author Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources
Availability Online Library~1

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2026-03-16T15:58:04Z

Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources
Availability Online Library~1

Practical hacking techniques and countermeasures

2026-03-16T15:58:04Z

Author SPIVEY, MARK D.
Preferred Shelf Number QA76.76 .O63
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429119101 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MCSA Windows Server 2016 : complete study guide exam 70-740, 70-741, 70-742

2026-03-16T15:58:04Z

Author Panek, William, 1970- author.
Preferred Shelf Number QA76.774 .M55
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549260
Format: Electronic Resources
Availability Online Library~1

Mastering VMware vSphere 6.7

2026-03-16T15:58:04Z

Author Marshall, Nick (Computer consultant), author. Brown, Mike, author. Fritz, G. Blair, author. Johnson, Ryan, author. Gelsinger, Pat, writer of foreword.
Preferred Shelf Number QA76.9 .V5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549291
Format: Electronic Resources
Availability Online Library~1

Mastering Windows Server 2016

2026-03-16T15:58:04Z

Author Svidergol, Brian, author. Meloski, Vladimir, author. Wright, Byron, author. Martinez, Santos, 1982- author. Bassett, Doug, author.
Preferred Shelf Number QA76.9 .V5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549277
Format: Electronic Resources
Availability Online Library~1

Dictionary of Computer Science, Engineering and Technology

2026-03-16T15:58:04Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Yeni başlayanlar için Windows Server 2012 R2

2026-03-16T15:58:04Z

Author Aladağ, Mesut, 1977- author
Preferred Shelf Number QA76.774.M55 A43 2017
Format: Books
Availability Beytepe Library~1

Windows Server sistem yönetimi

2026-03-16T15:58:04Z

Author Aladağ, Mesut.
Preferred Shelf Number QA76.774.M55 A43 2017 V.1
Format: Books
Availability Beytepe Library~2

WINDOWS NETWORKING TOOLS : the complete guide to management, troubleshooting, and security.

2026-03-16T15:58:04Z

Author HELD, GILBERT.
Preferred Shelf Number TK5105.55
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429185496 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Windows 10 Anniversary update bible

2026-03-16T15:58:04Z

Author Tidrow, Rob, author. Boyce, Jim, 1958- author. Shapiro, Jeffrey R., author.
Preferred Shelf Number QA76.76 .O63
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119416999
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

2026-03-16T15:58:04Z

Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69084-1
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2026-03-16T15:58:04Z

Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68600-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-16T15:58:04Z

Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2026-03-16T15:58:04Z

Author Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62105-0
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2026-03-16T15:58:04Z

Author Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2026-03-16T15:58:04Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-16T15:58:04Z

Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

2026-03-16T15:58:04Z

Author Milutinovic, Veljko. author. Kotlar, Milos. author. Stojanovic, Marko. author. Dundic, Igor. author. Trifunovic, Nemanja. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66125-4
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2026-03-16T15:58:04Z

Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68612-7
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2026-03-16T15:58:04Z

Author Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2026-03-16T15:58:04Z

Author Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources
Availability Online Library~1

Embedded and Real-Time Operating Systems

2026-03-16T15:58:04Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51517-5
Format: Electronic Resources
Availability Online Library~1

Managing Distributed Dynamic Systems with Spatial Grasp Technology

2026-03-16T15:58:04Z

Author Sapaty, Peter Simon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50461-2
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings

2026-03-16T15:58:04Z

Author Dacier, Marc. editor. Bailey, Michael. editor. Polychronakis, Michalis. editor. Antonakakis, Manos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66332-6
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

2026-03-16T15:58:04Z

Author Polychronakis, Michalis. editor. Meier, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60876-1
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Research, Development and Education

2026-03-16T15:58:04Z

Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI

2026-03-16T15:58:04Z

Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70136-3
Format: Electronic Resources
Availability Online Library~1

Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings

2026-03-16T15:58:04Z

Author Zeng, Yi. editor. He, Yong. editor. Kotaleski, Jeanette Hellgren. editor. Martone, Maryann. editor. Xu, Bo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70772-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-03-16T15:58:04Z

Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources
Availability Online Library~1

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2026-03-16T15:58:04Z

Author Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2026-03-16T15:58:04Z

Author Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-03-16T15:58:04Z

Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources
Availability Online Library~1

Linux komut satırı

2026-03-16T15:58:04Z

Author Demirez, Kemal
Preferred Shelf Number QA76.76.O63 D46 2016
Format: Books
Availability Beytepe Library~1

Windows registry forensics : advanced digital forensic analysis of the Windows registry

2026-03-16T15:58:04Z

Author Carvey, Harlan A., author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128032916
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2026-03-16T15:58:04Z

Author Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources
Availability Online Library~1

Internetware A New Software Paradigm for Internet Computing

2026-03-16T15:58:04Z

Author Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources
Availability Online Library~1

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

2026-03-16T15:58:04Z

Author Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50862-7
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2026-03-16T15:58:04Z

Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources
Availability Online Library~1

Introduction to the History of Computing A Computing History Primer

2026-03-16T15:58:04Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33138-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Modularity and Composition I

2026-03-16T15:58:04Z

Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources
Availability Online Library~1

HCNA Networking Study Guide

2026-03-16T15:58:04Z

Author Huawei Technologies Co., Ltd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1554-0
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-03-16T15:58:04Z

Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources
Availability Online Library~1

Understanding Control Flow Concurrent Programming Using μC++

2026-03-16T15:58:04Z

Author Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources
Availability Online Library~1

Thor's OS Xodus securely migrating from Microsoft Windows to Mac OSX

2026-03-16T15:58:04Z

Author Mullen, Timothy M., author.
Preferred Shelf Number ONLINE(364055.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124104631
Format: Electronic Resources
Availability Online Library~1

Linux essentials

2026-03-16T15:58:04Z

Author Bresnahan, Christine, author. Blum, Richard, 1962- author.
Preferred Shelf Number QA76.76.O63 B74 2015
Format: Books
Availability Beytepe Library~1

Android malware and analysis

2026-03-16T15:58:04Z

Author Dunham, Ken, author. Hartman, Shane, author. Morales, Jose Andre, author. Quintans, Manu, author. Strazzere, Tim, author.
Preferred Shelf Number QA76.774 .A53 D86 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

CentOS sistem ve sunucu yönetimi

2026-03-16T15:58:04Z

Author Parlak, Deniz. Çiftçi, Yunus.
Preferred Shelf Number QA76.774.L46 P37 2015
Format: Books
Availability Beytepe Library~1

Operating systems : internals and design principles

2026-03-16T15:58:04Z

Author Stallings, William.
Preferred Shelf Number QA76.76.O63 S733 2015
Format: Books
Availability Beytepe Library~2

Modern operating systems

2026-03-16T15:58:04Z

Author Tanenbaum, Andrew S. Bos, Herbert.
Preferred Shelf Number QA76.76.O63 T359 2015
Format: Books
Availability Beytepe Library~3

Operating system concepts

2026-03-16T15:58:04Z

Author Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Preferred Shelf Number QA76.76.O63 S5583 2014
Format: Books
Availability Beytepe Library~2

Linux with operating system concepts

2026-03-16T15:58:04Z

Author Fox, Richard, author. Taylor and Francis.
Preferred Shelf Number QA76.774 .L46
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2026-03-16T15:58:04Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers

2026-03-16T15:58:04Z

Author Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13174-0
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings

2026-03-16T15:58:04Z

Author Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44917-2
Format: Electronic Resources
Availability Online Library~1

The art of Linux kernel design : illustrating the operating system design principle and implementation

2026-03-16T15:58:04Z

Author Yang, Lixiang, author.
Preferred Shelf Number QA76.76.O63 Y36 2014
Format: Books
Availability Beytepe Library~1

Modern operating systems

2026-03-16T15:58:04Z

Author Tanenbaum, Andrew S.
Preferred Shelf Number QA76.76.O63 T359 2014
Format: Books
Availability Beytepe Library~1

Principles of operating systems

2026-03-16T15:58:04Z

Author Chauhan, Naresh.
Preferred Shelf Number QA76.77 C43 2014
Format: Books
Availability Beytepe Library~1

Embedded Operating Systems A Practical Approach

2026-03-16T15:58:04Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6603-0
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-16T15:58:04Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2026-03-16T15:58:04Z

Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources
Availability Online Library~1

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers

2026-03-16T15:58:04Z

Author Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10329-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

2026-03-16T15:58:04Z

Author Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources
Availability Online Library~1

Serialization and Persistent Objects Turning Data Structures into Efficient Databases

2026-03-16T15:58:04Z

Author Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39323-5
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings

2026-03-16T15:58:04Z

Author Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources
Availability Online Library~1

Linux with operating system concepts

2026-03-16T15:58:04Z

Author Fox, Richard, 1964- author.
Preferred Shelf Number QA76.774 .L46
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003203322 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Using Windows 8.1 Return of the Start Button

2026-03-16T15:58:04Z

Author Wilson, Kevin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6680-8
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi System Software Reference

2026-03-16T15:58:04Z

Author Gay, Warren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0796-3
Format: Electronic Resources
Availability Online Library~1

Experimenting with Raspberry Pi

2026-03-16T15:58:04Z

Author Gay, Warren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0769-7
Format: Electronic Resources
Availability Online Library~1

Windows 8 : temel başvuru kılavuzu

2026-03-16T15:58:04Z

Author Demirel, Ortaç, 1978-
Preferred Shelf Number QA76 774 M434 D46 2013
Format: Books
Availability Beytepe Library~2

Computer Performance Optimization Systems - Applications - Processes

2026-03-16T15:58:04Z

Author Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29971-1
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2026-03-16T15:58:04Z

Author Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334049.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

2026-03-16T15:58:04Z

Author Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36095-4
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-03-16T15:58:04Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-03-16T15:58:04Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2026-03-16T15:58:04Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number ONLINE(334080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Electronic Resources
Availability Online Library~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2026-03-16T15:58:04Z

Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334156.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2026-03-16T15:58:04Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2012

2026-03-16T15:58:04Z

Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number ONLINE(334411.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2026-03-16T15:58:04Z

Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number ONLINE(334517.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2026-03-16T15:58:04Z

Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334566.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-03-16T15:58:04Z

Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334610.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

2026-03-16T15:58:04Z

Author Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334594.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38401-1
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2026-03-16T15:58:04Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number ONLINE(334939.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Electronic Resources
Availability Online Library~1

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

2026-03-16T15:58:04Z

Author Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334960.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40517-4
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Rationale The Language, The Standard Libraries

2026-03-16T15:58:04Z

Author Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335195.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Electronic Resources
Availability Online Library~1

Microsoft server 2012

2026-03-16T15:58:04Z

Author Yıldırımoğlu, Murat
Preferred Shelf Number QA76.76.O63 Y55 2013
Format: Books
Availability Beytepe Library~2

iOS 6 programming : pushing the limits : advanced application development for Apple IPhone, IPad, and IPod Touch

2026-03-16T15:58:04Z

Author Napier, Robert. Kumar, Mugunth.
Preferred Shelf Number QA76.774 .I67 N37 2013
Format: Books
Availability Beytepe Library~1

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

2026-03-16T15:58:04Z

Author Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332976.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03491-1
Format: Electronic Resources
Availability Online Library~1

Java ile nesne programlama

2026-03-16T15:58:04Z

Author Karaçay, Timur
Preferred Shelf Number QA76 .73 K37 2013
Format: Books
Availability Beytepe Library~2

Privacy and Security for Cloud Computing

2026-03-16T15:58:04Z

Author Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330926.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient High Performance Computing Measurement and Tuning

2026-03-16T15:58:04Z

Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number ONLINE(330991.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2026-03-16T15:58:04Z

Author Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331756.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources
Availability Online Library~1

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

2026-03-16T15:58:04Z

Author Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337045.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32079-8
Format: Electronic Resources
Availability Online Library~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2026-03-16T15:58:04Z

Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335669.1)
Electronic Access http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Electronic Resources
Availability Online Library~1

Android programlama

2026-03-16T15:58:04Z

Author Taç, Muharrem.
Preferred Shelf Number QA76.76.O63 T33 2013
Format: Books
Availability Beytepe Library~1

The Android developer's cookbook : building applications with the Android SDK

2026-03-16T15:58:04Z

Author Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-
Preferred Shelf Number QA76.76.A65 S743 2013
Format: Books
Availability Beytepe Library~1

Windows 8 kickstart

2026-03-16T15:58:04Z

Author Russell, James Howard.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Principles of modern operating systems

2026-03-16T15:58:04Z

Author Garrido, José M.
Preferred Shelf Number QA76.76.O63 G384 2013
Format: Books
Availability Beytepe Library~1

Ubuntu unleashed

2026-03-16T15:58:04Z

Author Helmke, Matthew. Hudson, Andrew, 1978- Hudson, Paul, 1979-
Preferred Shelf Number QA76.774.U28 H453 2013
Format: Books
Availability Beytepe Library~1

Red Hat Enterprise Linux 6 administration real world skills for Red Hat administrators

2026-03-16T15:58:04Z

Author Vugt, Sander van.
Preferred Shelf Number QA76.774.L46 V84 2013
Format: Books
Availability Beytepe Library~1

Absolute OpenBSD UNIX for the practical paranoid

2026-03-16T15:58:04Z

Author Lucas, Michael, 1967-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578488
Format: Electronic Resources
Availability Online Library~1

Android security : attacks and defenses

2026-03-16T15:58:04Z

Author Misra, Anmol., author.
Preferred Shelf Number QA76.774 .A53 M57 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Fault-Tolerant Design

2026-03-16T15:58:04Z

Author Dubrova, Elena. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331297.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2113-9
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2026-03-16T15:58:04Z

Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334200.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

2026-03-16T15:58:04Z

Author Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334223.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36516-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-16T15:58:04Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2026-03-16T15:58:04Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers

2026-03-16T15:58:04Z

Author Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334518.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38030-3
Format: Electronic Resources
Availability Online Library~1