Figyelem!

Ön a Pro-M Zrt védett információs rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.
A rendszer használata az előbbiekben részletezett feltételek elfogadását jelenti.

Ön a Pro-M Zrt. nyilvános rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.

Software development

Software development (134)

Physical sciences > Computer science > Programming > Software engineering > Software development

Formalisation (Proof-checking)
kifu Laurent Théry 15 years ago - 38:07

Computer algebra
kifu Joachim von zur Gathen 15 years ago - 37:21

Can we trust floating-point numbers?
kifu Paul Zimmermann 15 years ago - 41:27

Main Issues of Computer Mathematics
kifu Henk Barendregt 15 years ago - 46:45

Economics, game theory and computer science
kifu Krzysztof R. Apt 15 years ago - 47:25

From computable functions to definable systems
kifu Wolfgang Reisig 15 years ago - 41:36

Artificial biochemistry
kifu Luca Cardelli 15 years ago - 44:49

Challenges of quantum informatics
kifu Jozef Gruska 15 years ago - 45:26

Panel: Pan-European collaboration
kifu 15 years ago - 1:00:11

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 15 years ago - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 15 years ago - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 15 years ago - 47:40