1
Argitaratua 2006
Aurkibidea: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2015
Aurkibidea: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... -- Multivariate Bandits and Their Applications -- Image Semantic Analysis and Understanding -- Semantic Web...
Testu osoa
Baliabide elektronikoa eBook