Limit Search Results
Author
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Logic design.
(1152)
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(359)
Computer Communication Networks.
(291)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1282 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Author 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Author 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Author 
Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8497-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Author 
Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0412-9
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Author 
Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Optical and Wireless Technologies Proceedings of OWT 2021
Optical and Wireless Technologies Proceedings of OWT 2021
Author 
Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1645-8
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Author 
Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action