Limit Search Results
Author
SpringerLink (Online service)
(114)
Liu, Honghai. editor.
(5)
Liu, Lianqing. editor. (orcid)
(5)
Ouyang, Xiaoping. editor.
(5)
Wang, Zhiyong. editor.
(5)
Language
Publication Date
-
Subject
Computer simulation.
(2)
Ad hoc networks (Computer networks)
(1)
Aids to navigation -- Congresses.
(1)
Benzetim modeli
(1)
Biomass chemicals.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
146 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part II
Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part II
Author 
Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number 
XX(520964.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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 
XX(520965.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Multi-Agent-Based Simulation XXIII 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers
Multi-Agent-Based Simulation XXIII 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers
Author 
Lorig, Fabian. editor. Norling, Emma. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520793.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(520800.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23492-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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 
XX(521145.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43129-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VIII
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VIII
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521241.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521247.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521252.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6483-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Author 
Sellmann, Meinolf. editor. Tierney, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521260.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action