Arama Sonuçları Machine theory. - Daraltılmış: Computer systems.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMachine$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystems.$002509Computer$002bsystems.$0026ps$003d300?dt=list
2026-03-16T16:39:59Z
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-16T16:39:59Z
2026-03-16T16:39:59Z
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/>
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605717
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
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-75387-9">https://doi.org/10.1007/978-3-031-75387-9</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-16T16:39:59Z
2026-03-16T16:39:59Z
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. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605738
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
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-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:605783
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
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-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608635
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608173
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608174
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602187
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8429-9">https://doi.org/10.1007/978-981-99-8429-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602188
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8432-9">https://doi.org/10.1007/978-981-99-8432-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:602189
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8540-1">https://doi.org/10.1007/978-981-99-8540-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:602190
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8549-4">https://doi.org/10.1007/978-981-99-8549-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:602193
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8462-6">https://doi.org/10.1007/978-981-99-8462-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:602194
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8537-1">https://doi.org/10.1007/978-981-99-8537-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:602195
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8546-3">https://doi.org/10.1007/978-981-99-8546-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII
ent://SD_ILS/0/SD_ILS:602196
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8558-6">https://doi.org/10.1007/978-981-99-8558-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602352
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602014
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:602204
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8552-4">https://doi.org/10.1007/978-981-99-8552-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII
ent://SD_ILS/0/SD_ILS:602205
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8555-5">https://doi.org/10.1007/978-981-99-8555-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:602211
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8543-2">https://doi.org/10.1007/978-981-99-8543-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607723
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8435-0">https://doi.org/10.1007/978-981-99-8435-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:607724
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8469-5">https://doi.org/10.1007/978-981-99-8469-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603019
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604349
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-64529-7">https://doi.org/10.1007/978-3-031-64529-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602979
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605075
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71261-6">https://doi.org/10.1007/978-3-031-71261-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developing performance support for computer systems : a strategy for maximizing usability and learnability
ent://SD_ILS/0/SD_ILS:545534
2026-03-16T16:39:59Z
2026-03-16T16:39:59Z
Yazar Williams, James R. (James Richard), 1932-<br/>Yer Numarası QA76 .W5185 2004<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781136864964">https://www.taylorfrancis.com/books/9781136864964</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780203228531">https://www.taylorfrancis.com/books/9780203228531</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>