3 Treffer in 0.006 Sek.
Polynomial time algorithms for finding integer relations among real numbers
[Relevanz: 100%]
Autor / Herausgeber: Schnorr, Claus Peter | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 1986 | 14 S.
Zeitschrift / Sammelband: Stacs 86
Fachgebiet: Mathematik; Informatik
Autor / Herausgeber: Schnorr, Claus Peter | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 1986 | 14 S.
Zeitschrift / Sammelband: Stacs 86
Fachgebiet: Mathematik; Informatik
[Externer Link]
A theory for nondeterminism, parallelism, communication and concurrency
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
[Externer Link]
Algebraic implementations preserve program correctness
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Science of computer programming; 7
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Science of computer programming; 7
Fachgebiet: Informatik