Verification, Model Checking, and Abstract Interpretation

https://syndetics.com/index.aspx
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál

Etiquetes:

Blockchain Technology and Emerging Applications

https://syndetics.com/index.aspx
William Knottenbelt, Dalila Ressi, Sabina Rossi, Francesco Tiezzi

Etiquetes:

Image Analysis and Processing - ICIAP 2025 Workshops

https://syndetics.com/index.aspx
Emanuele Rodolà, Fabio Galasso, Iacopo Masi

Etiquetes:

Pattern Recognition and Computer Vision

https://syndetics.com/index.aspx
Josef Kittler, Hongkai Xiong, Jian Yang, Xilin Chen, Jiwen Lu, Weiyao Lin, Jingyi Yu, Weishi Zheng

Etiquetes:

Neural Information Processing

https://syndetics.com/index.aspx
Tadahiro Taniguchi, Chi Sing Andrew Leung, Tadashi Kozuno, Junichiro Yoshimoto, Mufti Mahmud, Maryam Doborjeh, Kenji Doya

Etiquetes:

Operating System Basics and Practice

https://syndetics.com/index.aspx
Jiasheng Hao, Yindong Xiao, Wenjian Zhou, Peicheng Wang,

Etiquetes:

Information, Communication and Computing Technology

https://syndetics.com/index.aspx
Petia Radeva, Duc Pham, Stefano Berretti, Pascal Lorenz, Latika Kharb, Deepak Chahal

Etiquetes:

Pattern Recognition and Computer Vision

https://syndetics.com/index.aspx
Josef Kittler, Hongkai Xiong, Jian Yang, Xilin Chen, Jiwen Lu, Weiyao Lin, Jingyi Yu, Weishi Zheng

Etiquetes:

Handbook of the Metaverse

https://syndetics.com/index.aspx
Pan Hui, Peng Yuan Zhou, Lik-Hang Lee, Tristan Braud

Etiquetes:

Hands-On Computer Vision

https://syndetics.com/index.aspx
Wei Shen, Chongjie Si, Chen Yang, Yong Yu

Etiquetes: