Formalni verifikator kritičnih odsječaka računalnih programa : primjena strategije izračunavanja najslabijeg preduvjeta u formalnoj verifikaciji : : [studentski rad za Rektorovu n...

Autor: Bošnjak, Matko, Sikirić, Ivan, Brkić, Karla 1984
Impresum 2007

Izdanje: 1. izd

Attribute ranking for intelligent data analysis in medical applications

Autor: Gamberger, Dragan
Matična publikacija: ITI ... (Tisak) (2008)

Proceedings of the EMCL PKDD 2011 workshop on discovery challenge

Impresum 2011