Programming
Software engineering (296)
A million lines of verified code
Jim Woodcock
14 years ago - 40:26
The ideal of program correctness
Prof. Sir Tony Hoare
14 years ago - 42:46
Opening & welcome
Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői 14 years ago - 11:49
Dines Bjørner
Prof. Emer Ákos Detrekői 14 years ago - 11:49
Kivonatoló program kontra emberi kivonatolás
Tünde Lengyelné dr. Molnár
14 years ago - 26:34
ATA over Ethernet tárolórendszerek virtualizálása:
Szabolcs Székelyi
14 years ago - 26:14
Érvek és ellenérvek a Digital Rights Management
Dr. Zsuzsanna Tószegi
14 years ago - 12:28
A Microsoft ISA 2004 képességei
Zoltán Horváth
14 years ago - 21:08
Védjük meg személyes információnkat! - Microsoft
Márk Szoldán
14 years ago - 18:24
Microsoft Digital Rights Management -
Zoltán Micskei
14 years ago - 18:04
A Linux mint tűzfal teljesítménye és
József Kadlecsik
György Pásztor 14 years ago - 23:25
György Pásztor 14 years ago - 23:25
Spam és vírusszűrési módszerek és tapasztalatok a
Tamás Csillag
14 years ago - 20:42
E-mail forgalom vírusszűrő telepítése és
Dr. Tamás Molnár
14 years ago - 15:42