A(z) „Formális módszerek” lapra hivatkozó lapok
A VIK Wikiből
Az alábbi lapok hivatkoznak erre: Formális módszerek
50 elem listázva.
- Analízis II. (MSc) (← erre mutató hivatkozások)
- Mesterséges intelligencia labor (← erre mutató hivatkozások)
- Kriptográfia és alkalmazásai (← erre mutató hivatkozások)
- Hírközlő rendszerek biztonsága laboratórium I. (← erre mutató hivatkozások)
- Hírközlő rendszerek biztonsága laboratórium II. (← erre mutató hivatkozások)
- Kooperáció és intelligencia (← erre mutató hivatkozások)
- Kooperáció és gépi tanulás laboratórium (← erre mutató hivatkozások)
- Beágyazott intelligens rendszerek laboratórium (← erre mutató hivatkozások)
- Metamodellek a szoftverfejlesztésben (← erre mutató hivatkozások)
- Szolgáltatásbiztonságra tervezés (← erre mutató hivatkozások)
- Modellalapú szoftvertervezés (← erre mutató hivatkozások)
- Szolgáltatásintegráció (← erre mutató hivatkozások)
- Szoftverellenőrzési technikák (← erre mutató hivatkozások)
- Szolgáltatásbiztonságra tervezés laboratórium (← erre mutató hivatkozások)
- Rendszerintegráció és -felügyelet laboratórium (← erre mutató hivatkozások)
- Elosztott rendszerek és mobilszoftverek laboratórium (← erre mutató hivatkozások)
- Mérnök informatikus MSc (régi) (← erre mutató hivatkozások)
- Alkalmazott informatika szakirány (régi) (← erre mutató hivatkozások)
- Internet architektúra és szolgáltatások szakirány (← erre mutató hivatkozások)
- Vizuális informatika szakirány (← erre mutató hivatkozások)
- Kiterjesztett valóság és gépi látás mobil eszközökön (← erre mutató hivatkozások)
- Játékfejlesztés laboratórium (← erre mutató hivatkozások)
- Orvosi képdiagnosztika (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-Képalkotó diagnosztikai eljárások (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-Digitális képek alkotása és tárolása (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-ACM Snake (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-Regisztrációs eljárások (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-Diagnosztika módszerei (← erre mutató hivatkozások)
- Orvosi képdiagnosztika-Lineáris időinvariáns rendszerek és képalkotás metrikái (← erre mutató hivatkozások)
- Kritikus rendszerek szakirány (← erre mutató hivatkozások)
- Nagyteljesítményű párhuzamos feldolgozás (← erre mutató hivatkozások)
- Felhő alapú rendszerek (← erre mutató hivatkozások)
- GPGPU alkalmazások (← erre mutató hivatkozások)
- Párhuzamos programozás laboratórium (← erre mutató hivatkozások)
- Kritikus rendszerek integrációja laboratórium (← erre mutató hivatkozások)
- Kiberfizikai rendszerek (← erre mutató hivatkozások)
- Kritikus architektúrák laboratórium (← erre mutató hivatkozások)
- Számítógép-biztonság (← erre mutató hivatkozások)
- Mobilszoftver-rendszerek fejlesztése (← erre mutató hivatkozások)
- Mobilszoftver laboratórium (← erre mutató hivatkozások)
- Mobil és vezetéknélküli hálózatok és szolgáltatások integrációja szakirány (← erre mutató hivatkozások)
- GPU programozás és párhuzamos rendszerek laboratórium (← erre mutató hivatkozások)
- Sablon:Lábléc - Mérnök informatikus mesterszak (← erre mutató hivatkozások)
- Sablon:Lábléc - Alkalmazott informatika szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Autonóm irányító rendszerek és robotok szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Hírközlő rendszerek biztonsága szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Intelligens rendszerek szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Rendszerfejlesztés szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Szolgáltatásbiztos rendszertervezés szakirány (← erre mutató hivatkozások)
- Sablon:Lábléc - Kritikus rendszerek szakirány (← erre mutató hivatkozások)