-
-
https://www.lfcs.inf.ed.ac.uk/reports/98/ECS-LFCS-98-400/ECS-LFCS-98-400.dvi
Direct models for the computational lambda-calculus LaTeX DVI file -
https://www.labri.fr/perso/bousquet/Articles/Mots/pliage.dvi
Publications de Mireille Bousquet-Mélou Canonical positions for the factors in the paperfolding sequences -
https://www.lojban.org/files/texts/ckafybarja/cafe_papers.dvi
Index of /files/texts/ckafybarja cafe_papers.dvi -
https://www.maphysto.dk/oldpages/info_material/smallbrochure.dvi
MaPhySto information (in Danish) dvi-format -
https://www.netlib.org/bibnet/authors/l/lovelace-ada-augusta.dvi
Index of files in /pub/bibnet/authors/l lovelace-ada-augusta.dvi -
https://www.obm.org.br/content/uploads/2017/01/davinci.dvi
8ª Semana Olímpica – OBM 1,618: Desvendando os segredos matemáticos do código Da Vinci -
-
https://www.openu.ac.il/home/lorenz/papers/reports/NU-CCS-01-08.dvi
NU-CCS-01-08: Aspectual Collaborations for Collaboration-Oriented Concerns NU-CCS-01-08.dvi -
https://www.scss.tcd.ie/Andrew.Butterfield/IrishVDM/models/Trees-and-Cursors.dvi
Irish School of VDM - Home Page DVI -
https://behrisch.de/en/publikationen/studarb.dvi
Curriculum Vitae - Michael Behrisch semester thesis (german) -
https://archive.math.arizona.edu/swc/aws/2000/00AndersonN.dvi
Southwest Center for Arithmetic Geometry: AWS 2000: Courses and Notes dvi -
https://anggtwu.net/LATEX/2008filterp.dvi
Eduardo Ochs - Academic Research - Categorical Semantics, Downcasing Types, Skeletons of Proofs, and a bit of Non-Standard Analy dvi -
-
https://jvoight.github.io/Sp2003-250B/2003-250B-HW01.dvi
John Voight: Math 250B