Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Producing Artificial Intelligent Systems The Roles of Benchmarking, Standardisation and Certification
Producing Artificial Intelligent Systems The Roles of Benchmarking, Standardisation and Certification
Author 
Aldinhas Ferreira, Maria Isabel. editor. (orcid)0000-0002-6732-0426 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55817-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.
AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.
Author 
Benraouane, Sid Ahmed, author.
Preferred Shelf Number 
Q335
Electronic Access 
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
Author 
Dalamagkidis, Konstantinos. author. Valavanis, Kimon P. author. Piegl, Les A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
On Integrating Unmanned Aircraft Systems into the National Airspace System Issues, Challenges, Operational Restrictions, Certification, and Recommendations
Author 
Dalamagkidis, Konstantinos. editor. Valavanis, Kimon P. editor. Piegl, Les. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8672-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Generative AI for the Medical Student Core Concepts to Clinical Practice
Generative AI for the Medical Student Core Concepts to Clinical Practice
Author 
Quinn, Campion. author. (orcid)0009-0008-8830-088X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01613-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Seed Quality Evaluation and Improvement
Advances in Seed Quality Evaluation and Improvement
Author 
Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
Author 
Bianchi, Isaias. editor. (orcid)0000-0001-5480-0642 Dávila, Guillermo Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) Volume 3
Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) Volume 3
Author 
Bravo, José. editor. Urzáiz, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for 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
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
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for 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
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
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets