2 Treffer in 0.008 Sek.
Compositional refinement of interactive systems; 6
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
A lower bound for randomized algebraic decision trees; 4
[Relevanz: 100%]
Autor / Herausgeber: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Verlagsort: Basel [u.a.] | Verlag: Birkhäuser | Erscheinungsjahr: 1997 | 19 S.
Zeitschrift / Sammelband: Computational complexity; 6
Fachgebiet: Informatik
Autor / Herausgeber: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Verlagsort: Basel [u.a.] | Verlag: Birkhäuser | Erscheinungsjahr: 1997 | 19 S.
Zeitschrift / Sammelband: Computational complexity; 6
Fachgebiet: Informatik