Limit Search Results
Author
Language
Publication Date
-
Subject
Computational intelligence.
(10)
Compilers (Computer programs).
(3)
Compilers and Interpreters.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Computer science.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Genetic Programming Theory and Practice XX
Genetic Programming Theory and Practice XX
Author 
Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Author 
Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73910-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing
Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing
Author 
Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66342-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces
Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces
Author 
Joshi, Amit. editor. Mahmud, Mufti. editor. Ragel, Roshan G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9638-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
Author 
Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66188-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
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 Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Author 
Gumzej, Roman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28905-2
Format: 
Availability 
Online Library~1
Available:
Copies: