Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Wechs, Martin"'
Publikováno v:
Mathematics of Operations Research, 1998 Nov 01. 23(4), 832-862.
Externí odkaz:
https://www.jstor.org/stable/3690634
Autor:
Haberl, Wolfgang, Herrmannsdoerfer, Markus, Kugele, Stefan, Tautschnig, Michael, Wechs, Martin
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation (9783642165573); 2010, p18-32, 15p
Publikováno v:
2009 46th ACM/IEEE Design Automation Conference; Jul2009, p37-42, 6p
Publikováno v:
DAC: Annual ACM/IEEE Design Automation Conference; Jul2009, p37-42, 6p, 6 Diagrams, 1 Graph
Autor:
Stoer, Josef, Wechs, Martin
Publikováno v:
Numerische Mathematik; Feb1999, Vol. 81 Issue 4, p631-645, 15p
Autor:
Stoer, Josef, Wechs, Martin
Publikováno v:
Optimization Methods & Software; Jan1998, Vol. 10 Issue 2, p393-417, 25p
Autor:
Wechs, Martin
Publikováno v:
Optimization Methods & Software; Jan1998, Vol. 9 Issue 1-3, p209-243, 35p
Autor:
Stoer, Josef, Wechs, Martin
Publikováno v:
Mathematical Programming; Dec1998, Vol. 83 Issue 1-3, p407-423, 17p