The two-volume set LNCS 9722 and LNCS 9723 constitutes the refereed proceedings of the 21st Austr...
The two-volume set LNCS 9722 and LNCS 9723 constitutes the refereed proceedings of the 21st Austr...
This book constitutes the refereed proceedings of the 13th International Conference on Provable S...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...
The eight-volume set LNCS 14438 until 14445 constitutes the proceedings of the 29th International...