2 hits in 0.006 sec.
Compositional refinement of interactive systems; 6
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik
Author / Editor: Broy, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik
A lower bound for randomized algebraic decision trees; 4
[Score: 100%]
Author / Editor: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 1997 | 19 s.
Journal / Series / Collection: Computational complexity; 6
Subject Area: Informatik
Author / Editor: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 1997 | 19 s.
Journal / Series / Collection: Computational complexity; 6
Subject Area: Informatik