17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015)
Event name
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015)
Event type
Event for scientific audience
Start date
21-09-2015
End date
24-09-2015
Location
Timisoara
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Woltran, Stefan | Dynamic Programming on Tree Decomposition in Practice. Some Lessons Learned | Präsentation Presentation | 2015 | |
| 2 | Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas ; Kovacs, Laura ; Zaharie, Daniela | vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification | Konferenzbeitrag Inproceedings  | 2015 |