Számítógéptudomány
Számítógéptudomány (1332)
Élettelen természettudományok > Számítógéptudomány
Számítógépes rendszerek (54)
Kibernetika (22)
Adatbázis-kezelés (25)
Digitális rendszerek (106)
Informatika (850)
Programozás (306)
Rendszertervezés (3)
3D modellezés (3)
Számítógép-architektúra (178)
Számítógépes hardver (29)
Modellező eszközök (1)
Kibernetika (22)
Adatbázis-kezelés (25)
Digitális rendszerek (106)
Informatika (850)
Programozás (306)
Rendszertervezés (3)
3D modellezés (3)
Számítógép-architektúra (178)
Számítógépes hardver (29)
Modellező eszközök (1)
Have we learned from the Wasa disaster?
Jean-Raymond Abrial
14 éve - 38:02
A million lines of verified code
Jim Woodcock
14 éve - 40:26
The ideal of program correctness
Prof. Sir Tony Hoare
14 éve - 42:46
Opening & welcome
Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos 14 éve - 11:49
Dines Bjørner
Prof. Emer Detrekői Ákos 14 éve - 11:49
FEM25D - Egy geofizikai elektromágneses modellező
Ficsor Lajos
Dr. Pethő Gábor
Tóth Adrián 14 éve - 19:38
Dr. Pethő Gábor
Tóth Adrián 14 éve - 19:38
Effektív grid alkalmazás teherhordó gerendák
Dr. Török János
14 éve - 18:22
Szegedi mini-HPC csoport - az első három év
Dr. Fekete Zoltán
14 éve - 32:59
Szuperszámítógépek a tudományos kutatásban - a
Dr. Viskolcz Béla
14 éve - 35:00
A TITAN grid rendszer kommunikációs protokollja
Király Roland
Hernyák Zoltán
Tömösközi Péter 14 éve - 18:40
Hernyák Zoltán
Tömösközi Péter 14 éve - 18:40
Grides alkalmazások támogatása multi workflow
Karóczkai Krisztián
14 éve - 22:35
GASuC - Grid-alkalmazás támogatás Magyarországon
Balaskó Ákos
14 éve - 34:33
Egységes Windows és Linux alapú cluster és
Németh Dénes
Lakat Máté
Dr. Török János 14 éve - 24:35
Lakat Máté
Dr. Török János 14 éve - 24:35