Limit Search Results
Author
SpringerLink (Online service)
(36)
Meng, Weizhi. editor.
(2)
Sankaranarayanan, Sriram. editor.
(2)
Sharygina, Natasha. editor.
(2)
Abdallah, Chaouki T.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Author 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520949.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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 
XX(521082.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I
Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I
Author 
Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.
Preferred Shelf Number 
XX(521334.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48309-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Author 
Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521195.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43587-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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 
XX(521380.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Author 
Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520189.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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 
XX(520629.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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 
XX(521028.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34668-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Health Information Science 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedings
Health Information Science 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedings
Author 
Li, Yan. editor. Huang, Zhisheng. editor. Sharma, Manik. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number 
XX(521235.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7108-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521236.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action