<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-11-01 22:31:00Macro programming languages TeX Digital typography Donald Knuth Typesetting ConTeXt Omega PSTricks MetaPost Software Application software Computing |
Add to Reading List |
a coe source fis a | The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format wDocID: 1xUMb - View Document |
| PDF DocumentDocID: 1vANC - View Document |
| PDF DocumentDocID: 1vx4m - View Document |
| Microsoft Word - Gates Omega - 9November2012 - Final2 ReleaseDocID: 1vlF7 - View Document |
| ADVANSOURCE BIOMATERIALS AIRBORNE EXPRESS ALPHA OMEGA JEWELERS AMAZON AMERICAN EXPRESS COMPANY AMERIPRISE FINANCIAL, INC. ARRIS COMMUNICATIONS ARTISAN ELECTRIC AT&T AV 8 INTERNET AXAF OPERATIONS CONTROL CENTER BARNA LIMIDocID: 1v6HY - View Document |