Hledej: všechna polenázevautořiklíčová slovadatum zveřejněníinstitucetyp dokumentunázev konferenceISBN/ISSNčíslo projektuplný textčíslo záznamu Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách: *** jakákoli veřejná sbírka ***AgritecAgrotest fyto, s.r.o.Agrovýzkum Rapotín s.r.o.Akademie múzických umění v Pra...Akademie výtvarných uměníAnalytické a metodické materiá...AnalýzyArcheologický ústav, BrnoArcheologický ústav, PrahaArchitectural Institute in Pra...Ing. arch. Jan MoučkaArnikaAsociace pro vodu ČRAstronomický ústavAutorské práceBakalářské práceBankyBibliografieBiofyzikální ústavBiologické centrumBiotechnologický ústavBotanický ústavBrožuryBulletinyCENIACentrum dopravního výzkumu, v....Centrum pro dopravu a energeti...Centrum pro regionální rozvoj ...Centrum pro studium vysokého š...Ústav výzkumu globální změnyČeská asociace ergoterapeutůČeská asociace paraplegikůČeská národní bankaČeská rada dětí a mládežeČeská společnost ornitologickáČeská zemědělská univerzitaČeské vysoké učení technické v...Český statistický úřadCESNETCestovní zprávyChmelařský institutČlověk v tísni, o.p.sdataNárodní úložiště šedé literatu...Diplomové práceDisertační prácedoc. RNDr. Jiří Souček, DrSc.EkodomovEntomologický ústavEtnologický ústavEvropské hodnoty o.s.Fairtrade Česko a SlovenskoFakulty UK (VŠKP)Farmakologický ústavFilosofický ústavFiremní literaturaFiremní tiskFyzikální ústavFyziologický ústavGalerieGalerie výtvarného umění v Ost...Gender Studies, o.p.s.Geofyzikální ústavGeografický ústav MUGeologický ústavGLE o.p.s.Grantové zprávyHabilitační práceHESTIAHistorický ústavHydrobiologický ústavInstitut umění - Divadelní úst...Iuridicum Remedium, o.s.Jihočeská univerzita v Českých...Jihomoravské muzeum ve ZnojměKatalogy výrobkůKatalogy výstavKatedra sociální geografie a r...Knihovna AV ČRKnihovnyKonferenční materiályKulturaLetákyLiterární akademie (Internatio...Mapová sbírka PřF UKMasarykova univerzitaMasarykův ústav a ArchivMatematický ústavMendelova univerzita v BrněMetodikyMikrobiologický ústavMinisterstvaMinisterstvo obranyMinisterstvo spravedlnostiMinisterstvo životního prostře...MonografieMoravská galerie v BrněMoravská zemská knihovnaMuzeaMuzeum BrněnskaMuzeum skla a bižuterie v Jabl...Muzeum východních Čech v Hradc...Nadace Proměny Karla KomárkaNárodní archivNárodní filmový archivNárodní hřebčín Kladruby nad L...Národní informační a poradensk...Národní knihovna ČRNárodní lékařská knihovnaNárodní muzeumNárodní památkový ústavNárodní technická knihovnaNárodní technické muzeumNárodní ústav lidové kulturyNárodní ústav pro vzděláváníNárodní zemědělské muzeumNárodní muzeum v příroděNárodohospodářský ústavNeziskové organizaceOrientální ústavOSEVA vývoj a výzkum s.r.o.Osobní archivyOstatníOstravská univerzitaPamátník národního písemnictvíParazitologický ústavParlamentní institutPersonáliaPortfóliaPosteryPostprintyPrague CollegePreprintyPříspěvky z konferenceProgramyPropagační a vzdělávací materi...Průběžné zprávy z projektuPrůvodce expozicíPsychologický ústavReferátyRigorózní práceSborníkySdružení pro integraci a migra...Severočeské muzeum v LiberciSIRIRIŠkolstvíSlezská univerzita v OpavěSlezské zemské muzeumSlovanský ústavSociologický ústavSociologický ústav (CVVM)Soukromé vysoké školySpecializovaná pracoviště UKSpráva úložišť radioaktivních ...Statistické zprávyStátní správaStátní úřad pro jadernou bezpe...Státní zemědělská a potravinář...StudieTechnické muzeum v BrněTechnické zprávyTechnologické centrumTematické sborníkyTiskové zprávyUměleckoprůmyslové museum v Pr...Univerzita Hradec KrálovéUniverzita Jana Evangelisty Pu...Univerzita KarlovaUniverzita Palackého v Olomouc...Univerzita PardubiceÚřad průmyslového vlastnictvíÚstav analytické chemieÚstav anorganické chemieÚstav archeologické památkové ...Ústav biologie obratlovcůÚstav chemických procesůÚstav dějin uměníÚstav experimentální botanikyÚstav experimentální medicínyÚstav fotoniky a elektronikyÚstav fyzikální chemie J. Heyr...Ústav fyzikálního inženýrstvíÚstav fyziky atmosféryÚstav fyziky materiálůÚstav fyziky plazmatuÚstav geonikyÚstav informatikyÚstav jaderné fyzikyÚstav makromolekulární chemieÚstav molekulární biologie ros...Ústav molekulární genetikyÚstav organické chemie a bioch...Ústav přístrojové technikyÚstav pro českou literaturuÚstav pro dějiny umění FF UKÚstav pro elektrotechnikuÚstav pro hydrodynamikuÚstav pro jazyk českýÚstav pro klasická studiaÚstav pro soudobé dějinyÚstav pro studium totalitních ...Ústav půdní biologieÚstav slovansko-germánských st...Ústav státu a právaÚstav struktury a mechaniky ho...Ústav teoretické a aplikované ...Ústav teorie informace a autom...Ústav termomechanikyÚstav živočišné fyziologie a g...AV ČRVěda a výzkumVeřejné vysoké školyVěstníkyVýzkumný ústav geodetický, top...Veřejné výzkumné instituceVýroční zprávyVysoká škola chemicko-technolo...Vysoká škola ekonomická v Praz...Vysoká škola evropských a regi...Vysoká škola finanční a správn...Vysoká škola manažerské inform...Vysoké školyVysoké učení technické v BrněVysokoškolské kvalifikační prá...Výzkumné ústavyVýzkumné zprávyVýzkumný a vývojový ústav dřev...Výzkumný ústav bezpečnosti prá...Výzkumný ústav lesního hospodá...Výzkumný ústav potravinářský P...Výzkumný ústav práce a sociáln...Výzkumný ústav rostlinné výrob...Výzkumný ústav Silva Taroucy p...Výzkumný ústav vodohospodářský...WoodexpertZápadočeská univerzita v PlzniZápadočeské muzeum v PlzniZávěrečné zprávy z projektuŽivotopisyZprávyZprávy o stavuZprávy z průzkumu

Seřadit podle: Zobrazit výsledky: Výstupní formát: poslední záznam nejdřívedatum zveřejněníautorčíslo záznamu vzest.sest. - nebo seřadit podle -podobnost slov 10 výsledků25 výsledků50 výsledků100 výsledků vše v jednom seznamurozdělené podle sbírek citaceHTML briefHTML brief + PSHHTML citesummaryMARCRefman RIS

Národní úložiště šedé literatury

Nalezeno 12 záznamů.  11 - 12  přejít na záznam:

Hledání trvalo 0.00 vteřin.

Verification of Textual Use-Cases Vinárek, Jiří ; Šimko, Viliam (vedoucí práce) ; Hauzar, David (oponent) Cílem práce je poskytnout nástroj pro formální verifikaci systému, který je popsán pomocí textových případů užití (textual use cases). Nástroj umožňuje automatické ověření invariantů vyjádřených pomocí formulí temporální logiky (CTL nebo LTL). Textová specifikace je transformována na formální model, který je pomocí NuSMV symbolického model-checkeru verifikován a případné chyby jsou zobrazeny uživateli. Výstupem je přehledný HTML report, který pomocí zpětné vazby umožňuje uživateli iterativní vývoj validních textových use-case specifikací. Architektura nástroje je volena s ohledem na znovupoužitelnost jednotlivých modulů a budoucí možné rozšíření. Powered by TCPDF (www.tcpdf.org) Úplný záznam

Nástroj pro analýzu XML dat Vinárek, Jiří ; Nečaský, Martin (oponent) ; Holubová, Irena (vedoucí práce) Cílem práce je implementace nástroje umožňujícího provádět analýzu daných XML dokumentů, schémat DTD a XSD. Kromě analýzy dokumentů program umožňuje přehledné grafické zobrazení vstupních XML dokumentů, schémat DTD a XSD, tabulkové a grafové zobrazení výsledků, možnost srovnání výsledků odpovídajících si statistik pro XML dokumenty a jejich schémata. Výsledky je možné ukládat a později k nim přidávat nové dokumenty. Aplikace umožňuje efektivně zpracovávat i velké dokumenty. Je napsána s ohledem na snadnou rozšiřitelnost a maximální možnou parametrizovatelnost. Úplný záznam

Národní úložiště šedé literatury : Nalezeno 12 záznamů.   11 - 12  přejít na záznam:

Viz též: podobná jména autorů
1	Vinárek, Jan

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.