- (2006).
Unicode Explained. O'Reilly Media, Inc. p. 171. ISBN 9780596101213.
Monniaux, David. "UTF-8 (Unicode)
compose sequence".
Retrieved 2018-07-13. Look...
- doi:10.1016/S0167-6423(99)00010-6.
Valentin Touzeau;
Claire Maïza;
David Monniaux; Jan
Reineke (2017). "Ascertaining
Uncertainty for
Efficient Exact Cache...
- 843–859. doi:10.1016/0092-8674(92)90295-N. PMID 1350515. Sayou, Camille;
Monniaux, Marie; Nanao, Max H.; Moyroud, Edwige; Brockington,
Samuel F.; Thévenon...
- 2012-07-10. "Compose key -
Gentoo wiki". wiki.gentoo.org.
Retrieved 2024-04-27.
Monniaux, David. "UTF-8 (Unicode)
compose sequence".
Retrieved 2015-07-15. Compose...
-
summary of floating-point
formats that have been used over the years.)
Monniaux,
David (May 2008). "The
pitfalls of
verifying floating-point com****tions"...
- Jack
Woehr (1
November 1997). "A
conversation with
William Kahan".
David Monniaux (May 2008). "The
pitfalls of
verifying floating-point com****tions". ACM...
- Cousot,
Radhia Cousot, Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux &
Xavier Rival.
Design and
Implementation of a Special-Purpose
Static Program...
- range: Pliocene–Holocene PreꞒ Ꞓ O S D C P T J K Pg N
Photo Author:
David Monniaux Photo of a
skeleton recovered from the La Brea
Asphalt Pits Scientific...
-
which is defective). "Course
material on BAN logic" (PDF). UT
Austin CS.
Monniaux,
David (1999). "Decision
procedures for the
analysis of
cryptographic protocols...
- ISSN 1073-922X.
Archived from the
original (PDF) on 2007-02-03.
David Monniaux (May 2008). "The
pitfalls of
verifying floating-point com****tions". ACM...