Limit Search Results
Author
SpringerLink (Online service)
(141)
Taylor and Francis.
(7)
John Wiley & Sons, publisher.
(4)
Korytkowski, Marcin. editor.
(3)
Liu, Honghai. editor.
(3)
Language
Publication Date
-
Subject
Electronic books.
(66)
TECHNOLOGY & ENGINEERING.
(28)
Control engineering.
(25)
Computational intelligence.
(24)
Artificial intelligence.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
337 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Author 
Mavronicolas, Marios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers
Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers
Author 
Wen, Shiping. editor. Yang, Cihui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25191-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Author 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Trustworthy Machine Learning for Healthcare First International Workshop, TML4H 2023, Virtual Event, May 4, 2023, Proceedings
Trustworthy Machine Learning for Healthcare First International Workshop, TML4H 2023, Virtual Event, May 4, 2023, Proceedings
Author 
Chen, Hao. editor. (orcid) Luo, Luyang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39539-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings
Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings
Author 
Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Author 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I
Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36622-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II
Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36625-3
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34668-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37105-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action