Škola VŠB

Počet zobrazení 
Titulek Zobrazení
Předměty 7241
Facade 3351
Builder 3411
Struktura OS 11257
Modelovací jazyky byznys procesů – IDEF0, UML, EPC, BPMN 6066
Testovací plán 2168
Kvalitativní a kvantitativní analýza rizik 6899
Řízení rizik 2576
Řízení projektu 2433
Plánování projektu 4565
Klasifikace, prioritizace, správa, vysledovatelnost a závislost požadavků. 3062
Čtyřvrstvá architektura 2816
OCL (Object Constraint Language) 5773
Formální metody 3542
Disciplína sběr a analýza požadavků 6039
Správa paměti 3603
Objektově orientované paradigma. 6754
Observer 3596
Kompozit 3698
Singleton 3513
Abstract factory 3767
Mapování UML diagramů na kód 7595
Návrhové vzory 12361
Struktura překladače 7133
Překladač 6907
Deklarativní programování 7902
Návrh implementace 9953
Specifikace požadavků 15539
Softwarový proces 14740
Konečné automaty 10684
Reprezentace konečných automatů 6088
Nedetermistický konečný automat 2354
Množinové operace nad regulárními jazyky (konečnými automaty) 4281
Regulární výrazy 8480
Uzávěrové vlastnosti třídy regulárních jazyků 9747
Zásobníkové automaty 8436
Bezkontextové gramatiky 12311
Algoritmická rozhodnutelnost (řešitelnost) problému 10048
Složitost algoritmů 13297
Turingovy a RAM stroje 15369
Třída PTIME 7123
Třída NPTIME 7709
Třída NP-úplných problémů 8625
Operace s relacemi 6135
Typy binárních relací 8068
Relace 9416
Algebra 9267
Rezoluční pravidlo a algoritmus unifikace v predikátové logice 1. řádu 10305
Predikátová logika I.řádu 8774
Logické zákony 5097
Výroková logika (VL) 9111
Matematická logika 3553
Obecná rezoluční metoda a logické programování 11852
Datová vrstva IS 6859
Distribuováne SŘBD 5928
Objektový datový model 10249
Indexy 7908
Datové struktury 8316
Procedurální rozšíření SQL 7875
Řízení souběhu transakcí, zamykání 6888
Transakční analýza 6601
Transakce 7250
Normální formy 15990
Funkční závislosti 20243
Dekompozice 10945
Relační datový model 16373
SQL 6670
Funkční analýza 15266
UML (Unified Modeling Language) 27739
Modelování databázových systémů 7710
Datová analýza a konceptuální model 18224
Komprese obrázků 8157
Systém barev v počítačové grafice 8759
Výstupy grafické informace 4668
Oktanové stromy 3580
BSP stromy 3370
CSG reprezentace tělesa * 3687
Reprezentace tělesa hranici 3066
Geometrické a objemové modelování * 3202
Open GL * 2839
Křivky v počítačové grafice 5882
Polcha * 1257
Křivky 4473
Spojitost křivek 5439
Projektivní prostor 5456
Afinní prostor 5580
Výpočet osvětlení 5934
Generování základních grafických prvků v rastrové grafice 3971
Šrafování a vyplňování oblasti 2767
Ořezávání úseček a polygonů 2706
Směrování v sítích 9495
Adresování IP 5791
Šifrování a autentizace 4589
Stavový firewall 5561
Sdílení přístup ke kanálu 6408
Protokolová rodina TCP/IP 6812
Architektura mikroprocesorů 11518
Útoky 6517

Podkategorie

Kam dál?