von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Branislav Rovan
algorithms combinatorial optimization complexity computer computer science formal method logic mathematical logic optimization programming data structures