Limit Search Results
Author
SpringerLink (Online service)
(46)
Deelman, Ewa. editor.
(2)
Dongarra, Jack. editor.
(2)
Karczewski, Konrad. editor.
(2)
Sankaranarayanan, Sriram. editor.
(2)
Language
Subject
Computational intelligence.
(14)
Artificial intelligence.
(9)
Internet of things.
(4)
Big data.
(3)
Control engineering.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 II
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 II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Euro-Par 2023: Parallel Processing 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings
Euro-Par 2023: Parallel Processing 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings
Author 
Cano, José. editor. Dikaiakos, Marios D. editor. Papadopoulos, George A. editor. Pericàs, Miquel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Author 
Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29927-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Author 
Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27199-1
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 II
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
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-49435-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings
Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings
Author 
Tian, Yuan. editor. (orcid) Ma, Tinghuai. editor. (orcid) Jiang, Qingshan. editor. Liu, Qi. editor. Khan, Muhammad Khurram. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3300-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Computational and Communication Paradigms Proceedings of ICACCP 2023
Advanced Computational and Communication Paradigms Proceedings of ICACCP 2023
Author 
Borah, Samarjeet. editor. Gandhi, Tapan K. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Author 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Distributed systems : theory and applications
Distributed systems : theory and applications
Author 
Ghosh, Ratan K., author. Ghosh, Hiranmay, author.
Preferred Shelf Number 
QA76.9 .D5 G486 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825968
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action