Limit Search Results
Author
SpringerLink (Online service)
(272)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Language
English
(277)
Publication Date
-
Subject
Software engineering.
(103)
Computational intelligence.
(101)
Computer networks .
(56)
Computer Communication Networks.
(52)
Application software.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
277 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Recent Advances in Data and Algorithms for e-Government
Recent Advances in Data and Algorithms for e-Government
Author 
Gaie, Christophe. editor. Mehta, Mayuri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Author 
Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Author 
Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105417
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
Author 
Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-271-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Author 
Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I
Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I
Author 
Soliman, Khalid S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77493-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II
Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II
Author 
Soliman, Khalid S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79086-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Author 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I
Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I
Author 
Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4503-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II
Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II
Author 
Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action