Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy 2026.02.24.-től kezdődően a videófeltöltés-, valamint módosítás szolgáltatásunk átmenetileg szünetel, de a már korábban feltöltött videók továbbra is megtekinthetők maradnak. Munkatársaink mindent megtesznek annak érdekében, hogy az átállás a lehető legrövidebb időn belül, zökkenőmentesen megtörténjen.

Az átállás során Önnek nincs teendője, a meglévő tartalmak az új rendszer indulását követően változatlanul továbbra is elérhetők lesznek.

Az átmeneti időszakra türelmét és megértését kérjük.

Computer science


Main Issues of Computer Mathematics

kifu Henk Barendregt 16 years ago - 46:45

Economics, game theory and computer science

kifu Krzysztof R. Apt 16 years ago - 47:25

From computable functions to definable systems

kifu Wolfgang Reisig 16 years ago - 41:36

Artificial biochemistry

kifu Luca Cardelli 16 years ago - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 16 years ago - 45:26

Model checking, theorem proving, and abstract

kifu Thomas Henzinger 16 years ago - 41:21

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 16 years ago - 44:05

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 16 years ago - 38:02

A million lines of verified code

kifu Jim Woodcock 16 years ago - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 16 years ago - 42:46