Arama Sonuçları Certification. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCertification.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?
2026-04-23T22:32:39Z
AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.
ent://SD_ILS/0/SD_ILS:572584
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Benraouane, Sid Ahmed, author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003463979">https://www.taylorfrancis.com/books/9781003463979</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/>
Producing Artificial Intelligent Systems The Roles of Benchmarking, Standardisation and Certification
ent://SD_ILS/0/SD_ILS:603836
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Aldinhas Ferreira, Maria Isabel. editor. (orcid)0000-0002-6732-0426 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55817-7">https://doi.org/10.1007/978-3-031-55817-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612044
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611458
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
ent://SD_ILS/0/SD_ILS:206377
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Dalamagkidis, Konstantinos. author. Valavanis, Kimon P. author. Piegl, Les A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-2479-2">http://dx.doi.org/10.1007/978-94-007-2479-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
ent://SD_ILS/0/SD_ILS:170272
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Dalamagkidis, Konstantinos. editor. Valavanis, Kimon P. editor. Piegl, Les. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8672-4">http://dx.doi.org/10.1007/978-1-4020-8672-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Seed Quality Evaluation and Improvement
ent://SD_ILS/0/SD_ILS:608527
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-5178-8">https://doi.org/10.1007/978-981-96-5178-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generative AI for the Medical Student Core Concepts to Clinical Practice
ent://SD_ILS/0/SD_ILS:610055
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Quinn, Campion. author. (orcid)0009-0008-8830-088X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-032-01613-3">https://doi.org/10.1007/978-3-032-01613-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
ent://SD_ILS/0/SD_ILS:605249
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Bianchi, Isaias. editor. (orcid)0000-0001-5480-0642 Dávila, Guillermo Antonio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65552-4">https://doi.org/10.1007/978-3-031-65552-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) Volume 3
ent://SD_ILS/0/SD_ILS:528840
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Bravo, José. editor. Urzáiz, Gabriel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48590-9">https://doi.org/10.1007/978-3-031-48590-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
Yazar Gumzej, Roman. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
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-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-04-23T22:32:39Z
2026-04-23T22:32:39Z
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-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>