Škola VŠB

Počet zobrazení 
Titulek Zobrazení
Předměty 7429
Facade 3485
Builder 3521
Struktura OS 11893
Modelovací jazyky byznys procesů – IDEF0, UML, EPC, BPMN 6320
Testovací plán 2243
Kvalitativní a kvantitativní analýza rizik 7304
Řízení rizik 2685
Řízení projektu 2528
Plánování projektu 4669
Klasifikace, prioritizace, správa, vysledovatelnost a závislost požadavků. 3147
Čtyřvrstvá architektura 2939
OCL (Object Constraint Language) 5920
Formální metody 3635
Disciplína sběr a analýza požadavků 6212
Správa paměti 3732
Objektově orientované paradigma. 6968
Observer 3700
Kompozit 3828
Singleton 3655
Abstract factory 3896
Mapování UML diagramů na kód 7780
Návrhové vzory 12671
Struktura překladače 7334
Překladač 7055
Deklarativní programování 8153
Návrh implementace 10215
Specifikace požadavků 15944
Softwarový proces 15050
Konečné automaty 11028
Reprezentace konečných automatů 6229
Nedetermistický konečný automat 2460
Množinové operace nad regulárními jazyky (konečnými automaty) 4426
Regulární výrazy 8716
Uzávěrové vlastnosti třídy regulárních jazyků 9929
Zásobníkové automaty 8764
Bezkontextové gramatiky 12649
Algoritmická rozhodnutelnost (řešitelnost) problému 10260
Složitost algoritmů 13599
Turingovy a RAM stroje 15754
Třída PTIME 7311
Třída NPTIME 7917
Třída NP-úplných problémů 8896
Operace s relacemi 6295
Typy binárních relací 8326
Relace 9687
Algebra 9538
Rezoluční pravidlo a algoritmus unifikace v predikátové logice 1. řádu 10545
Predikátová logika I.řádu 8980
Logické zákony 5384
Výroková logika (VL) 9397
Matematická logika 3714
Obecná rezoluční metoda a logické programování 12150
Datová vrstva IS 7021
Distribuováne SŘBD 6094
Objektový datový model 10574
Indexy 8120
Datové struktury 8551
Procedurální rozšíření SQL 8111
Řízení souběhu transakcí, zamykání 7103
Transakční analýza 6772
Transakce 7428
Normální formy 16692
Funkční závislosti 20913
Dekompozice 11205
Relační datový model 17090
SQL 6885
Funkční analýza 15652
UML (Unified Modeling Language) 28840
Modelování databázových systémů 7888
Datová analýza a konceptuální model 18663
Komprese obrázků 8344
Systém barev v počítačové grafice 9076
Výstupy grafické informace 4825
Oktanové stromy 3680
BSP stromy 3484
CSG reprezentace tělesa * 3802
Reprezentace tělesa hranici 3216
Geometrické a objemové modelování * 3301
Open GL * 2939
Křivky v počítačové grafice 6032
Polcha * 1312
Křivky 4598
Spojitost křivek 5590
Projektivní prostor 5673
Afinní prostor 5754
Výpočet osvětlení 6128
Generování základních grafických prvků v rastrové grafice 4086
Šrafování a vyplňování oblasti 2865
Ořezávání úseček a polygonů 2808
Směrování v sítích 9775
Adresování IP 5939
Šifrování a autentizace 4717
Stavový firewall 5728
Sdílení přístup ke kanálu 6556
Protokolová rodina TCP/IP 6984
Architektura mikroprocesorů 11938
Útoky 6616

Podkategorie

Kam dál?