Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Author 
Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520677.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Author 
Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520348.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32092-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Author 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521340.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Author 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521142.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Availability 
Online Library~1
Available:
Copies: