Szoftvertechnológia
Szoftvertechnológia (295)
Élettelen természettudományok > Számítógéptudomány > Programozás > Szoftvertechnológia
Valós idejű csoport-kommunikációs és kollaborációs
Balla Tamás 15 éve - 19:09

Formalisation (Proof-checking)

Computer algebra

Can we trust floating-point numbers?

Main Issues of Computer Mathematics

Economics, game theory and computer science

From computable functions to definable systems

Artificial biochemistry

Challenges of quantum informatics

Panel: Pan-European collaboration

Model checking, theorem proving, and abstract
