Limit Search Results
Author
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Aedo, Ignacio. editor.
(1)
Ahmad, Muhammad Sajid Aqeel. editor.
(1)
Aksoy, Ahmet. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(6)
Computational intelligence.
(4)
Computer science.
(4)
Software engineering.
(4)
Compilers (Computer programs).
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Author 
Tripathi, Kuldeep. editor. Kumari, Jyoti. editor. Pandey, Sushil. editor. Singh, Badal. editor. Archak, Sunil. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4043-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Author 
Kurtaran, Hasan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81876-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Author 
Benbassat, Jochanan. author. (orcid)0000-0002-6217-5821 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76845-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Author 
Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Innovative Approaches to Technology-Enhanced Learning for the Workplace and Higher Education Proceedings of 'The Learning Ideas Conference' 2022
Innovative Approaches to Technology-Enhanced Learning for the Workplace and Higher Education Proceedings of 'The Learning Ideas Conference' 2022
Author 
Guralnick, David. editor. Auer, Michael E. editor. Poce, Antonella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for From Industry 4.0 to Industry 5.0 Mapping the Transitions
From Industry 4.0 to Industry 5.0 Mapping the Transitions
Author 
Hamdan, Allam. editor. Harraf, Arezou. editor. Buallay, Amina. editor. Arora, Pallvi. editor. Alsabatin, Hala. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28314-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for AI Embedded Assurance for Cyber Systems
AI Embedded Assurance for Cyber Systems
Author 
Wang, Cliff. editor. Iyengar, S.S. editor. Sun, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023)
Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023)
Author 
Uskov, Vladimir L. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2993-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Intelligent Computer Systems in Engineering Design Principles and Applications
Intelligent Computer Systems in Engineering Design Principles and Applications
Author 
Sunnersjö, Staffan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28125-4
Format: 
Availability 
Online Library~1
Available:
Copies: