Arama Sonuçları Science -- Software. - Daraltılmış: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dScience$002b--$002bSoftware.$0026qf$003dSUBJECT$002509Konu$002509Computers.$002509Computers.$0026ps$003d300?dt=list
2026-03-31T05:41:39Z
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Wieringa, Roel J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608337
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
ent://SD_ILS/0/SD_ILS:604200
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Bulić, Patricio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-58075-8">https://doi.org/10.1007/978-3-031-58075-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
ent://SD_ILS/0/SD_ILS:603014
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine learning for iOS developers
ent://SD_ILS/0/SD_ILS:595818
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Mishra, Abhishek, author.<br/>Yer Numarası Q325.5 .M57 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483389
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:484878
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486319
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32101-7">https://doi.org/10.1007/978-3-030-32101-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484528
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487029
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610854
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Understanding Control Flow Concurrent Programming Using μC++
ent://SD_ILS/0/SD_ILS:612212
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Buhr, Peter A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2026-03-31T05:41:39Z
2026-03-31T05:41:39Z
Yazar Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>