Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
13 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems. için kapak resmi
AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.
Yazar 
Benraouane, Sid Ahmed, author.
Yer Numarası 
Q335
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003463979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Producing Artificial Intelligent Systems The Roles of Benchmarking, Standardisation and Certification için kapak resmi
Producing Artificial Intelligent Systems The Roles of Benchmarking, Standardisation and Certification
Yazar 
Aldinhas Ferreira, Maria Isabel. editor. (orcid)0000-0002-6732-0426 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55817-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Yazar 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Yazar 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations için kapak resmi
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
Yazar 
Dalamagkidis, Konstantinos. author. Valavanis, Kimon P. author. Piegl, Les A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-2479-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations için kapak resmi
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
Yazar 
Dalamagkidis, Konstantinos. editor. Valavanis, Kimon P. editor. Piegl, Les. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8672-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Advances in Seed Quality Evaluation and Improvement için kapak resmi
Advances in Seed Quality Evaluation and Improvement
Yazar 
Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-5178-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Generative AI for the Medical Student Core Concepts to Clinical Practice için kapak resmi
Generative AI for the Medical Student Core Concepts to Clinical Practice
Yazar 
Quinn, Campion. author. (orcid)0009-0008-8830-088X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-01613-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies için kapak resmi
Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
Yazar 
Bianchi, Isaias. editor. (orcid)0000-0001-5480-0642 Dávila, Guillermo Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65552-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) Volume 3 için kapak resmi
Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) Volume 3
Yazar 
Bravo, José. editor. Urzáiz, Gabriel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48590-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach için kapak resmi
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Yazar 
Gumzej, Roman. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28905-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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 için kapak resmi
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
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: