Arama Sonuçları - Daraltılmış: Operating systems (Computers).

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

2026-03-15T10:32:21Z

Yazar Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91736-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81226-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1411-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94571-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95497-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95764-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Zhang, Yuchao. editor. (orcid)0000-0002-0135-8915 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77072-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78676-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94544-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75431-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95767-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0914-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78679-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1414-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4442-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2864-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2830-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69231-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-6243-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95589-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77954-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-6232-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74498-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95761-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86493-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64573-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-3203-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51849-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52823-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Š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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61154-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Emek, Yuval. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60603-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Storage Architectures and Technologies

2026-03-15T10:32:21Z

Yazar Shu, Jiwu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-3534-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Fundamental Research for Trustworthy Software

2026-03-15T10:32:21Z

Yazar He, Jifeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5589-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8101-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49269-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47751-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47754-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56580-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64748-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64755-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7872-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62638-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55729-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54773-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62645-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62697-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Pan, Xiuqin. editor. Jin, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51671-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2026-03-15T10:32:21Z

Yazar Buttazzo, Giorgio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45410-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50684-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8104-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48796-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48803-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56281-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66326-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57259-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46813-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54770-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54776-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0006-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53227-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61057-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Koubaa, Anis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-09062-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10549-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17227-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing by Mobile Entities Current Research in Moving and Computing

2026-03-15T10:32:21Z

Yazar Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11072-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20351-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16350-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22397-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24922-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35225-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23425-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15651-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24741-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers V

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58834-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GNU LINUX

2026-03-15T10:32:21Z

Yazar Ertuğrul, İlker .
Yer Numarası QA76.76.O63 E78 2019
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-15T10:32:21Z

Yazar Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30709-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-38043-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29750-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Searchable Storage in Cloud Computing

2026-03-15T10:32:21Z

Yazar Hua, Yu. author. Liu, Xue. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2721-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16272-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04918-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19909-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36592-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15663-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operating Systems for Supercomputers and High Performance Computing

2026-03-15T10:32:21Z

Yazar Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6624-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36027-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29611-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Maintenance Policies for Shock and Damage Models

2026-03-15T10:32:21Z

Yazar Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70456-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System and Architecture Proceedings of CSI 2015

2026-03-15T10:32:21Z

Yazar Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8533-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99673-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interrupt Handling Schemes in Operating Systems

2026-03-15T10:32:21Z

Yazar Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94493-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03596-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2026-03-15T10:32:21Z

Yazar Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78473-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05051-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92624-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2026-03-15T10:32:21Z

Yazar Popescu, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94764-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57932-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89719-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Programming in Unix/Linux

2026-03-15T10:32:21Z

Yazar Wang, K.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92429-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XIII

2026-03-15T10:32:21Z

Yazar Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58381-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92408-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93000-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93411-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92040-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94472-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Operating Systems A Practical Approach

2026-03-15T10:32:21Z

Yazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72977-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93317-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Design and Power-Aware Verification

2026-03-15T10:32:21Z

Yazar Khondkar, Progyna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66619-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence XXVIII

2026-03-15T10:32:21Z

Yazar Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78301-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Detection and Correction: Modeling and Applications

2026-03-15T10:32:21Z

Yazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1162-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01325-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03232-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance gaps of machines A process oriented approach

2026-03-15T10:32:21Z

Yazar Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00470-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety-Critical Electrical Drives Topologies, Reliability, Performance

2026-03-15T10:32:21Z

Yazar Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89969-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Kochs, Hans-Dieter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64991-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2026-03-15T10:32:21Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92612-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93767-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Closing the Gap Between Practice and Research in Industrial Engineering

2026-03-15T10:32:21Z

Yazar Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58409-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Multicore Architectures at Nanoscale

2026-03-15T10:32:21Z

Yazar Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54422-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72971-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58415-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXIII

2026-03-15T10:32:21Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97795-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data and Energy Integrated Communication Networks A Brief Introduction

2026-03-15T10:32:21Z

Yazar Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-0116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94959-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71734-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-03-15T10:32:21Z

Yazar Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7656-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74896-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar ASC Community. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3731-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Hardware Trojan War Attacks, Myths, and Defenses

2026-03-15T10:32:21Z

Yazar Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68511-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G Wireless Systems Simulation and Evaluation Techniques

2026-03-15T10:32:21Z

Yazar Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61869-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1073-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1026-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94568-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66263-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66299-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61473-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55947-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Real-Time Operating Systems

2026-03-15T10:32:21Z

Yazar Wang, K.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51517-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Polychronakis, Michalis. editor. Meier, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60876-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Dacier, Marc. editor. Bailey, Michael. editor. Polychronakis, Michalis. editor. Antonakakis, Manos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66332-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DataFlow Supercomputing Essentials Research, Development and Education

2026-03-15T10:32:21Z

Yazar Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66128-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Zeng, Yi. editor. He, Yong. editor. Kotaleski, Jeanette Hellgren. editor. Martone, Maryann. editor. Xu, Bo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70772-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70136-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68612-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67630-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6238-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69084-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68600-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62105-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

2026-03-15T10:32:21Z

Yazar Milutinovic, Veljko. author. Kotlar, Milos. author. Stojanovic, Marko. author. Dundic, Igor. author. Trifunovic, Nemanja. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66125-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60588-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52709-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCNA Networking Study Guide

2026-03-15T10:32:21Z

Yazar Huawei Technologies Co., Ltd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1554-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29778-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50862-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40648-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43904-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Modularity and Composition I

2026-03-15T10:32:21Z

Yazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internetware A New Software Paradigm for Internet Computing

2026-03-15T10:32:21Z

Yazar Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2546-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern operating systems

2026-03-15T10:32:21Z

Yazar Tanenbaum, Andrew S. Bos, Herbert.
Yer Numarası QA76.76.O63 T359 2015
Format: Kitap
Durum Beytepe Kütüphanesi~3

Modern operating systems

2026-03-15T10:32:21Z

Yazar Tanenbaum, Andrew S.
Yer Numarası QA76.76.O63 T359 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-15T10:32:21Z

Yazar Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04891-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06200-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54807-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43779-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Cuellar, Jorge. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10329-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Serialization and Persistent Objects Turning Data Structures into Efficient Databases

2026-03-15T10:32:21Z

Yazar Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-39323-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13174-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44917-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Operating Systems A Practical Approach

2026-03-15T10:32:21Z

Yazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6603-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Windows 8.1 Return of the Start Button

2026-03-15T10:32:21Z

Yazar Wilson, Kevin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6680-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Raspberry Pi System Software Reference

2026-03-15T10:32:21Z

Yazar Gay, Warren. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0796-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimenting with Raspberry Pi

2026-03-15T10:32:21Z

Yazar Gay, Warren. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0769-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334353.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Dynpro ABAP for Practitioners

2026-03-15T10:32:21Z

Yazar Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE(334566.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası ONLINE(335131.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java ile nesne programlama

2026-03-15T10:32:21Z

Yazar Karaçay, Timur
Yer Numarası QA76 .73 K37 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Energy-Efficient High Performance Computing Measurement and Tuning

2026-03-15T10:32:21Z

Yazar Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Yer Numarası ONLINE(330991.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault-Tolerant Design

2026-03-15T10:32:21Z

Yazar Dubrova, Elena. author. SpringerLink (Online service)
Yer Numarası ONLINE(331297.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2113-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Yer Numarası ONLINE(334080.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334200.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for High Performance Computing 2012

2026-03-15T10:32:21Z

Yazar Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Yer Numarası ONLINE(334411.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Yer Numarası ONLINE(334517.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Cuellar, Jorge. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334518.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38030-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Yer Numarası ONLINE(334939.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335013.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40820-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334960.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40517-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2026-03-15T10:32:21Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2026-03-15T10:32:21Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren

2026-03-15T10:32:21Z

Yazar Wolfinger, Christine. author. SpringerLink (Online service)
Yer Numarası ONLINE(337116.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34724-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334049.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Dawson, Ed. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334122.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36095-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334223.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36516-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334594.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38401-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T10:32:21Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2026-03-15T10:32:21Z

Yazar Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334662.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2026-03-15T10:32:21Z

Yazar Barnes, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(335195.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2026-03-15T10:32:21Z

Yazar Cotroneo, Domenico. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Wolfinger, Christine. author. SpringerLink (Online service)
Yer Numarası ONLINE(337045.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32079-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2026-03-15T10:32:21Z

Yazar Mandl, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(338350.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android programlama

2026-03-15T10:32:21Z

Yazar Taç, Muharrem.
Yer Numarası QA76.76.O63 T33 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Privacy and Security for Cloud Computing

2026-03-15T10:32:21Z

Yazar Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330926.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering and Management for Software Development Projects

2026-03-15T10:32:21Z

Yazar Chemuturi, Murali. author. SpringerLink (Online service)
Yer Numarası ONLINE(331756.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T10:32:21Z

Yazar Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332976.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03491-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Optimization Systems - Applications - Processes

2026-03-15T10:32:21Z

Yazar Osterhage, Wolfgang W. author. SpringerLink (Online service)
Yer Numarası ONLINE(333281.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29971-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2026-03-15T10:32:21Z

Yazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33533-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33704-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

2026-03-15T10:32:21Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34026-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

2026-03-15T10:32:21Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34032-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse

2026-03-15T10:32:21Z

Yazar Osterhage, Wolfgang W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17190-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Avgeriou, Paris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33272-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33338-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35576-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35606-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31202-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

2026-03-15T10:32:21Z

Yazar Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30633-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30767-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Rajarajan, Muttukrishnan. editor. Piper, Fred. editor. Wang, Haining. editor. Kesidis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31909-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28879-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2026-03-15T10:32:21Z

Yazar Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28891-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Test and Diagnosis for Small-Delay Defects

2026-03-15T10:32:21Z

Yazar Tehranipoor, Mohammad. author. Peng, Ke. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8297-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2026-03-15T10:32:21Z

Yazar Birman, Kenneth P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2026-03-15T10:32:21Z

Yazar Czernohous, Christoph. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68426-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Software Performance Analysis

2026-03-15T10:32:21Z

Yazar Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cavalli, Ana. editor. Leneutre, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19348-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

2026-03-15T10:32:21Z

Yazar Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24541-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Internet

2026-03-15T10:32:21Z

Yazar Salgarelli, Luca. editor. Bianchi, Giuseppe. editor. Blefari-Melazzi, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-1818-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI 2010 Annual Symposium Selected papers

2026-03-15T10:32:21Z

Yazar Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1488-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Praxishandbuch Web Dynpro ABAP

2026-03-15T10:32:21Z

Yazar Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11387-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19137-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20398-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UNIX Operating System The Development Tutorial via UNIX Kernel Services

2026-03-15T10:32:21Z

Yazar Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20432-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23178-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II

2026-03-15T10:32:21Z

Yazar Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23397-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I

2026-03-15T10:32:21Z

Yazar Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23400-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings

2026-03-15T10:32:21Z

Yazar Decker, Bart. editor. Lapon, Jorn. editor. Naessens, Vincent. editor. Uhl, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24712-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Predictive Technology Model for Robust Nanoelectronic Design

2026-03-15T10:32:21Z

Yazar Cao, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0445-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Security Risk Assessment of Enterprise Networks

2026-03-15T10:32:21Z

Yazar Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows 7 in Unternehmensnetzen mit Service Pack 1, IPv4, IPv6

2026-03-15T10:32:21Z

Yazar Grotegut, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01035-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Reliable and Secure Distributed Programming

2026-03-15T10:32:21Z

Yazar Cachin, Christian. author. Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15260-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21713-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Christianson, Bruce. editor. Malcolm, James A. editor. Matyas, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22137-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology – AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Nitaj, Abderrahmane. editor. Pointcheval, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21969-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Boykov, Yuri. editor. Kahl, Fredrik. editor. Lempitsky, Victor. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23094-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23583-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Forensics in Telecommunications, Information, and Multimedia Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Lai, Xuejia. editor. Gu, Dawu. editor. Jin, Bo. editor. Wang, Yongquan. editor. Li, Hui. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23602-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23716-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Temam, Olivier. editor. Yew, Pen-Chung. editor. Zang, Binyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24151-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings

2026-03-15T10:32:21Z

Yazar Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24403-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Reliability Assessment with OR Applications

2026-03-15T10:32:21Z

Yazar Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-204-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability of Networked Computer-based Systems

2026-03-15T10:32:21Z

Yazar Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-318-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Value Exchange Origins of the VISA Electronic Payment System

2026-03-15T10:32:21Z

Yazar Stearns, David L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android programlama

2026-03-15T10:32:21Z

Yazar Taç, Muharrem.
Yer Numarası QA76.76.O63 T33 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers

2026-03-15T10:32:21Z

Yazar Biryukov, Alex. editor. Gong, Guang. editor. Stinson, Douglas R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19574-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1