Fachgebiete | Informatik

2 Treffer in 0.011 Sek.

Lattice basis reduction : improved practical algorithms and solving subset sum problems [Relevanz: 100%]
Autor / Herausgeber: Schnorr, Claus Peter; Euchner, M. |  Verlagsort: Amsterdam |  Verlag: North-Holland Publishing |  Erscheinungsjahr: 1994 | 19 S.
Zeitschrift / Sammelband: Mathematical programming; 66
Fachgebiet: Informatik; Mathematik
[Suche in der Publikation] [PDF-Download]
Adding fair choice to Dijkstra's calculus; 3 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Nelson, Greg |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Sprache