Subject Areas | Informatik

2 hits in 0.006 sec.

Lattice basis reduction : improved practical algorithms and solving subset sum problems [Score: 100%]
Author / Editor: Schnorr, Claus Peter; Euchner, M. |  Place of publication: Amsterdam |  Publisher: North-Holland Publishing |  Year of Publication: 1994 | 19 s.
Journal / Series / Collection: Mathematical programming; 66
Subject Area: Informatik; Mathematik
[Search within document] [PDF-Download]
Adding fair choice to Dijkstra's calculus; 3 [Score: 100%]
Author / Editor: Broy, Manfred; Nelson, Greg |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
[Search within document] [PDF-Download]

Active filters [Remove filter]

Drill down result

Year of Publication [Remove filter]

Language