Limit Search Results
Author
SpringerLink (Online service)
(141)
Korytkowski, Marcin. editor.
(3)
Liu, Honghai. editor.
(3)
Liu, Lianqing. editor. (orcid)
(3)
Ouyang, Xiaoping. editor.
(3)
Language
English
(148)
Publication Date
-
Subject
Control engineering.
(25)
Computational intelligence.
(23)
Artificial intelligence.
(18)
Control and Systems Theory.
(17)
System theory.
(12)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Author 
Thomson, Robert. editor. (orcid) Al-khateeb, Samer. editor. Burger, Annetta. editor. Park, Patrick. editor. A. Pyke, Aryn. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43129-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action