<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-05-07 04:10:25Fluid mechanics Construction Backflow prevention device Backflow Environmental engineering Water supply network Water supply Canberra Hydrostatic loop Plumbing Water Irrigation |
| Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword compositDocID: 1xU6c - View Document |
| Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2DocID: 1xU0g - View Document |
| PDF DocumentDocID: 1xMRs - View Document |
| PDF DocumentDocID: 1xC9X - View Document |
| PDF DocumentDocID: 1xxUV - View Document |