Limit Search Results
Author
SpringerLink (Online service)
(4826)
Apduhan, Bernady O. editor.
(47)
Gervasi, Osvaldo. editor.
(46)
Taniar, David. editor.
(38)
Dongarra, Jack. editor.
(31)
Language
Publication Date
-
2018
(424)
2011
(400)
2012
(369)
2010
(343)
2009
(334)
Subject
Computer science.
(3279)
Computer Communication Networks.
(1478)
Artificial intelligence.
(1354)
Information systems.
(823)
Logic design.
(748)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4928 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I
International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89757-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II
International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89760-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96775-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0792-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Author 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78380-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Author 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78377-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The AI Act and The Agile Safety Plan
The AI Act and The Agile Safety Plan
Author 
Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80504-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Engineering and Management: Theory and Applications Volume 17
Software Engineering and Management: Theory and Applications Volume 17
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82610-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action