search result

Cover von Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

Year: 2026
Media group: LIPIcs
Cover von Medical Image Computing and Computer Assisted Intervention

Medical Image Computing and Computer Assisted Intervention

MICCAI 2019 : 22nd International Conference, Shenzhen, China, October 13 - 17, 2019, Proceeding
2019
Berlin, Springer
Series: Lecture notes in computer science; 11764/11769
Media group: GESAMTWERK
Volumes loading
OPEN V 11.1.0.0