Limit Search Results
Author
SpringerLink (Online service)
(472)
Apduhan, Bernady O. editor.
(12)
Bernardo, Marco. editor.
(11)
Messnarz, Richard. editor.
(10)
Taylor and Francis.
(9)
Language
Publication Date
-
Subject
Software engineering.
(238)
Computer science.
(157)
Electronic books.
(106)
Artificial intelligence.
(81)
Computer Communication Networks.
(56)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
835 Results Found Subscribe to search results
000000000000DEFAULT
Print
373. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Author 
Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8085-7
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Author 
Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
378. 
Cover image for River Dynamics and Flood Hazards Studies on Risk and Mitigation
River Dynamics and Flood Hazards Studies on Risk and Mitigation
Author 
Pandey, Manish. editor. Azamathulla, Hazi. editor. Pu, Jaan H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
379. 
Cover image for Society 5.0 Cyber-Solutions for Human-Centric Technologies
Society 5.0 Cyber-Solutions for Human-Centric Technologies
Author 
Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35875-3
Format: 
Availability 
Online Library~1
Available:
Copies:
380. 
Cover image for Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022
Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022
Author 
Strelets, Dmitry Yu. editor. Korsun, Oleg N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
381. 
Cover image for Computational Intelligence for Clinical Diagnosis
Computational Intelligence for Clinical Diagnosis
Author 
Joseph, Ferdin Joe John. editor. Balas, Valentina Emilia. editor. Rajest, S. Suman. editor. Regin, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23683-9
Format: 
Availability 
Online Library~1
Available:
Copies:
382. 
Cover image for Medical Devices and In Vitro Diagnostics Requirements in Europe
Medical Devices and In Vitro Diagnostics Requirements in Europe
Author 
Baumgartner, Christian. editor. Harer, Johann. editor. Schröttner, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
383. 
Cover image for Challenges of Software Verification
Challenges of Software Verification
Author 
Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9601-6
Format: 
Availability 
Online Library~1
Available:
Copies:
384. 
Cover image for System Dependability and Analytics Approaching System Dependability from Data, System and Analytics Perspectives
System Dependability and Analytics Approaching System Dependability from Data, System and Analytics Perspectives
Author 
Wang, Long. editor. Pattabiraman, Karthik. editor. Di Martino, Catello. editor. Athreya, Arjun. editor. Bagchi, Saurabh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-02063-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets