Limit Search Results
Author
SpringerLink (Online service)
(134)
Cheng, Long. editor.
(9)
Li, Chaojie. editor.
(9)
Li, Hongyi. editor.
(9)
Luo, Biao. editor.
(9)
Language
Publication Date
-
Subject
Computer industry.
(63)
Software engineering.
(45)
Artificial intelligence.
(24)
Information theory.
(23)
Information systems.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
135 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Intelligent Engineering Optimisation with the Bees Algorithm
Intelligent Engineering Optimisation with the Bees Algorithm
Author 
Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI
Author 
Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV
Author 
Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII
Author 
Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8178-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advanced Mathematical Science for Mobility Society
Advanced Mathematical Science for Mobility Society
Author 
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
Author 
Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-69007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71707-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III
Author 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71710-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV
Author 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action