Ubiquitous Communications and Network Computing : 4th EAI International Conference,UBICNET 2021, Virtual Event, March 2021, Proceedings
New Frontiers in Artificial Intelligence : JSAI-isAI 2020 Workshops,JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selec
Architecture of Computing Systems : 34th International Conference,ARCS 2021, Virtual Event, June 7-8, 2021, Proceedings
Applications and Usability of Interactive TV : 9th Iberoamerican Conference,jAUTI 2020, Aveiro, Portugal, December 18, 2020, Revised Selected Papers
OpenMP: Enabling Massive Node-Level Parallelism : 17th International Workshop on OpenMP,IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings
Leveraging Applications of Formal Methods,Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, IS
Software Engineering : A Methodical Approach
.NET 2.0 Interoperability Recipes : A Problem-Solution Approach
Logic and the Organization of Information
Information Security and Cryptology : 11th International Conference,Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers
HCI in Business,Government, and Organizations: Information Systems : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2
Human-Computer Interaction. Interaction Platforms and Techniques : 18th International Conference,HCI International 2016, Toronto, ON, Canada, July 17