Detail of purchased E-resource

*

2009 Fourth South-East European Workshop on Formal Methods

eng


Katalog knihoven RA EIZ je vytvářen na základě Adresáře knihoven a informačních institucí v ČR vytvářeného Národní knihovnou ČR