Computer science
Computer science (1179)
Physical sciences > Computer scienceCybernetics (6)
Database management (17)
Digital systems (83)
Informatics (734)
Programming (305)
Systems design (3)
3D modelling (1)
Computer architecture (178)
Computer hardware (30)
Model checking, theorem proving, and abstract
The German VeriSoft Project 2003-2007
Temporal annotations and their validation
Have we learned from the Wasa disaster?
A million lines of verified code
The ideal of program correctness
Opening & welcome
Dines Bjørner
Prof. Emer Ákos Detrekői 16 years ago - 11:49
FEM25D - Egy geofizikai elektromágneses modellező
Dr. Gábor Pethő
Adrián Tóth 16 years ago - 19:38
Effektív grid alkalmazás teherhordó gerendák
Szegedi mini-HPC csoport - az első három év
Szuperszámítógépek a tudományos kutatásban - a
A TITAN grid rendszer kommunikációs protokollja
Zoltán Hernyák
Péter Tömösközi 16 years ago - 18:40