Arama Sonuçları Systems engineering. - Daraltılmış: Computer System Implementation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bSystem$002bImplementation.$002509Computer$002bSystem$002bImplementation.$0026ps$003d300?dt=list
2026-03-15T13:12:46Z
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607973
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605736
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608673
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-93718-7">https://doi.org/10.1007/978-3-031-93718-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608674
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-93721-7">https://doi.org/10.1007/978-3-031-93721-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607215
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Doncel, Josu. editor. (orcid)0000-0002-5552-9134 Remke, Anne. editor. (orcid)0000-0002-5912-4767 Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80932-3">https://doi.org/10.1007/978-3-031-80932-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608299
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I
ent://SD_ILS/0/SD_ILS:605152
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72284-4">https://doi.org/10.1007/978-3-031-72284-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603643
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Blockchain Technology and Emerging Applications Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:603455
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Chen, Jiageng. editor. (orcid)0000-0001-9033-2575 Xia, Zhe. editor. (orcid)0000-0003-4397-1248 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60037-1">https://doi.org/10.1007/978-3-031-60037-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II
ent://SD_ILS/0/SD_ILS:605153
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72287-5">https://doi.org/10.1007/978-3-031-72287-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605053
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71139-8">https://doi.org/10.1007/978-3-031-71139-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605054
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71142-8">https://doi.org/10.1007/978-3-031-71142-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603161
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611609
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66787-4">https://doi.org/10.1007/978-3-319-66787-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:617792
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Dick, Jeremy. author. Hull, Elizabeth. author. Jackson, Ken. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611089
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Internetware A New Software Paradigm for Internet Computing
ent://SD_ILS/0/SD_ILS:615189
2026-03-15T13:12:46Z
2026-03-15T13:12:46Z
Yazar Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-2546-4">https://doi.org/10.1007/978-981-10-2546-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>