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
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltran, Stefan Dynamic Programming on Tree Decomposition in Practice. Some Lessons LearnedPr√§sentation Presentation2015
2Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015