VIDEOTORIUM
Toggle navigation
Kategóriák
Csatornák
Élő közvetítések
Bejelentkezés
Register
×
Close
Bejelentkezés
E-mail cím
*
Jelszó
*
Bejelentkezés
Shibboleth Login
eduID bejelentkezés
Google bejelentkezés
Facebook bejelentkezés
Regisztráció
|
Elfelejtett jelszó
×
Close
Register
Felhasználónév
*
E-mail cím
*
*
Jelszó
*
Jelszó megerősítése
*
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
1 + 0 =
Új fiók létrehozása
English
Magyar
Keresés
Keresés
Élettelen természettudományok
Élettelen természettudományok
(4475)
first
previous
…
329
330
331
332
333
334
335
336
337
…
next
last
Csillagászat
(168)
Kémia
(134)
Számítógéptudomány
(2691)
Matematika
(447)
Fizika
(1127)
The German VeriSoft Project 2003-2007
kifu
Wolfgang J. Paul
14 éve - 44:05
Temporal annotations and their validation
kifu
Amir Pnueli
14 éve - 47:40
Have we learned from the Wasa disaster?
kifu
Jean-Raymond Abrial
14 éve - 38:02
A million lines of verified code
kifu
Jim Woodcock
14 éve - 40:26
The ideal of program correctness
kifu
Prof. Sir Tony Hoare
14 éve - 42:46
Opening & welcome
kifu
Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
14 éve - 11:49
Specialized editor for processing objects in a
wigner
Heike Laqua
14 éve - 26:41
Concept of the new Textor Control System -
wigner
Horst T. Lambertz
14 éve - 11:15
Towards a User-friendly Grid Environment
wigner
Dr. Prof. Kacsuk Péter
14 éve - 49:13
Development of Information Technology Systems for
wigner
Nina Putvinskaya
14 éve - 15:25
A Generic Remote Method Invocation for Intensive
wigner
André Neto
14 éve - 10:12
Web Based Electronic Logbook and Experiment Run
wigner
Thomas W. Fredian
14 éve - 14:54