Limit Search Results
Author
SpringerLink (Online service)
(185)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Li, Keqiu. editor.
(7)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(168)
Computer networks .
(168)
Artificial intelligence.
(69)
Computer vision.
(55)
Software engineering.
(44)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
189 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II
Author 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Author 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Author 
Ponomarenko, Leonid. author. Kim, Che Soong. author. Melikov, Agassi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15458-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Mapping Nanotechnology Innovations and Knowledge Global and Longitudinal Patent and Literature Analysis
Mapping Nanotechnology Innovations and Knowledge Global and Longitudinal Patent and Literature Analysis
Author 
Roco, Mihail. author. Chen, Hsinchun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71620-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems
Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems
Author 
Pukite, Jan, 1928- Pukite, Paul.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Artificial Intelligence and Speech Technology 6th International Conference, AIST 2024, Delhi, India, November 13-14, 2024, Proceedings, Part I
Artificial Intelligence and Speech Technology 6th International Conference, AIST 2024, Delhi, India, November 13-14, 2024, Proceedings, Part I
Author 
Sharma, Arun. editor. (orcid)0000-0002-9404-4519 Rani, Ritu. editor. (orcid)0000-0001-6219-8751 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Artificial Intelligence and Speech Technology 6th International Conference, AIST 2024, Delhi, India, November 13-14, 2024, Proceedings, Part II
Artificial Intelligence and Speech Technology 6th International Conference, AIST 2024, Delhi, India, November 13-14, 2024, Proceedings, Part II
Author 
Sharma, Arun. editor. (orcid)0000-0002-9404-4519 Rani, Ritu. editor. (orcid)0000-0001-6219-8751 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91340-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Zhang, Yong. editor. Cai, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
Author 
Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-03364-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action