Limit Search Results
Author
SpringerLink (Online service)
(71)
Bernardo, Marco. editor.
(11)
Huang, De-Shuang. editor.
(7)
Hussain, Abir. editor.
(6)
Jo, Kang-Hyun. editor.
(6)
Language
Publication Date
-
Subject
Computational intelligence.
(13)
Artificial intelligence.
(11)
Software engineering.
(10)
Telecommunication.
(10)
Communications Engineering, Networks.
(9)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
90 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Performance Analysis of Parallel Applications for HPC
Performance Analysis of Parallel Applications for HPC
Author 
Zhai, Jidong. author. Jin, Yuyang. author. Chen, Wenguang. author. Zheng, Weimin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4366-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
Author 
Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4742-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4749-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4755-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4752-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action