This book covers state-of-the art techniques for high-level modeling and validation of complex ha...
wo men de ju zhu kong jiansuo wei san fang liang ting de ge juzai jin xing shi nei she ji gui...
This book constitutes the proceedings of the 13th International Workshop on Statistical Atlases a...
This book constitutes the refereed proceedings of the Fourth Workshop on Uncertainty for Safe Uti...
This book constitutes the refereed proceedings of the 5th International Workshop on Machine Learn...
This book constitutes the refereed proceedings of the Third MICCAI Workshop on Distributed, Colla...
This book constitutes the refereed proceedings of the 22nd China National Conference on Chinese C...
This book constitutes the refereed proceedings of the 5th Workshop on Uncertainty for Safe Utiliz...
This double volume set LNCS 14393-14394 constitutes the proceedings from the workshops held at th...
This book constitutes the refereed proceedings of the 6th Workshop on Uncertainty for Safe Utiliz...
This book comprehensively utilizes the new generation of artificial intelligence and remote sensi...
This book constitutes the refereed proceedings of the 7th Workshop on Uncertainty for Safe Utiliz...