Limit Search Results
Author
SpringerLink (Online service)
(78)
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)
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
(7)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(76)
Computer networks .
(76)
Artificial intelligence.
(57)
Computer vision.
(25)
Computer science.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
79 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I
Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I
Author 
Rapp, Amon. editor. Di Caro, Luigi. editor. Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Sugumaran, Vijayan. editor. (orcid)0000-0003-2557-3182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part II
Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part II
Author 
Rapp, Amon. editor. Di Caro, Luigi. editor. Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Sugumaran, Vijayan. editor. (orcid)0000-0003-2557-3182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70242-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57708-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for SystemVerilog for Verification A Guide to Learning the Testbench Language Features
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for System Verilog for Verification A Guide to Learning the Testbench Language Features
System Verilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings
Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings
Author 
Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75702-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77915-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. (orcid)0000-0002-4860-0203 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Author 
Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87217-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1
Author 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8526-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I
Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I
Author 
Karpov, Alexey. editor. (orcid)0000-0003-3424-652X Delić, Vlado. editor. (orcid)0000-0002-4558-9918 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77961-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets