Zobrazeno 1 - 10
of 18
pro vyhledávání: '"haldy"'
Autor:
Košek, Filip
This Ph.D. thesis was focused on the application of Raman spectroscopy as the main analytical method for the characterization of neo-formed minerals, notably sulfates, from burning coal waste dumps. This environment associated with subsurface fires g
Externí odkaz:
http://www.nusl.cz/ntk/nusl-388851
Autor:
Košek, Filip
This Ph.D. thesis was focused on the application of Raman spectroscopy as the main analytical method for the characterization of neo-formed minerals, notably sulfates, from burning coal waste dumps. This environment associated with subsurface fires g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::375d20d79209649d42746fd0a1747eb8
http://www.nusl.cz/ntk/nusl-388851
http://www.nusl.cz/ntk/nusl-388851
Autor:
Peterková, Alena
In past, the Czech Republic was one of the most important areas for mineral resources mining. In the period after the Second World War, the country was a very important conqueror of the uranium ore, thanks to a massive production of nuclear energy an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6f0cd1191365dec05da1ffdff4251a8e
http://www.nusl.cz/ntk/nusl-482424
http://www.nusl.cz/ntk/nusl-482424
Autor:
Malík, Viktor
Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie obsahuje spôsob re
Externí odkaz:
http://www.nusl.cz/ntk/nusl-363894
Autor:
Lengál, Ondřej
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístup
Externí odkaz:
http://www.nusl.cz/ntk/nusl-261279
Autor:
Kyšková, Anna
A proposal of complex of school reacts to current situation of the Black Meadow as well as it respects the winning proposal of Maxwan (competition held in 2010). Block of school completes missing block on the edge of old town and Black meadow current
Externí odkaz:
http://www.nusl.cz/ntk/nusl-216040
Autor:
Cagašová, Kateřina
The present bachelor thesis is aimed at success rate evaluation of forestry re-cultivation in selected territories in the surroundings of the town Orlová and suggesting contingent measures thanks to which, it could be possible to improve the approac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::fe5fe079a719971766d680f74e771931
http://www.nusl.cz/ntk/nusl-179931
http://www.nusl.cz/ntk/nusl-179931
Autor:
SPITZER, Lukáš
The ground beetles are one of the most worthwhile model groups of organisms for the indication of quality of environment due to their advantages such as simple identification, well known ecology of most species and described distribution. In this the
Externí odkaz:
http://www.nusl.cz/ntk/nusl-166244
Autor:
SPITZER, Lukáš
The ground beetles are one of the most worthwhile model groups of organisms for the indication of quality of environment due to their advantages such as simple identification, well known ecology of most species and described distribution. In this the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::46d9ca051dbace21224c7618c8ec1517
http://www.nusl.cz/ntk/nusl-166244
http://www.nusl.cz/ntk/nusl-166244