Recursos

• Verification, Model Checking, and Abstract Interpretation
• Web and Internet Economics
• Hypothesis Generation and Interpretation
• Vision and Actualization in Academia
• Introduction to Compiler Design
• Evolution of STEM-Driven Computer Science Education
• ICT Education
• Advanced Research in Technologies, Information, Innovation and Sustainability
• Performance Evaluation Methodologies and Tools
• Tools and Methods of Program Analysis
• Software, System, and Service Engineering
• Asia Pacific Advanced Network
• Videogame Sciences and Arts
• Data Science—Analytics and Applications
• Synthetic Data
• Current Trends in Web Engineering
• Distributed Computing and Intelligent Technology
• AGC 2023
• Cognitive Computing – ICCC 2023
• Cloud-Native Application Architecture
• Incentive Mechanism for Mobile Crowdsensing
• Frontiers in Cyber Security
• Emerging Information Security and Applications
• Cognitive Computing and Cyber Physical Systems
• Cognitive Computing and Cyber Physical Systems
• Tools for Design, Implementation and Verification of Emerging Information Technologies
• Security, Privacy, and Applied Cryptography Engineering
• Computer Supported Cooperative Work and Social Computing
• Computer Supported Cooperative Work and Social Computing
• R-Calculus, V: Description Logics
• Information and Software Technologies
• Continuous Biometric Authentication Systems
• Computer Science and Educational Informatization
• Computer Science and Educational Informatization
• Edge Intelligent Computing Systems in Different Domains
• Computer Security – ESORICS 2023
• Computer Security – ESORICS 2023
• Services Computing – SCC 2023
• Information Security Applications
• Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability
• Computer Security – ESORICS 2023
• Computer Security – ESORICS 2023
• Cryptocoding Based on Quasigroups
• Dynamic Logic. New Trends and Applications
• Formal Aspects of Component Software
• The Book of Chatbots
• e-Learning, e-Education, and Online Training
• e-Learning, e-Education, and Online Training
• Algorithms and Discrete Applied Mathematics
• Information Security Planning