Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Adjedj, J.
2  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Martin-Löf à la Coq:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji.. - p. 230-245 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A Handbook of Primary PCI: No-Reflow Management:

, In: Primary Angioplasty,
Adjedj, Julien ; Muller, Olivier ; Eeckhout, Eric - p. 223-235 , 2018
Link: https://doi.org/10.1007/..
 
1-2