Вы здесь
Lesaint D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Aspects for Synthesizing Applications by Refinement | 2004 | Lesaint D., Papamargaritis G. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 04.09.2004 | ||
| СТ | iOpt: A Software Toolkit for Heuristic Search Methods | 2001 | Voudouris C., Dorne R., Lesaint D., Liret A. | Lecture Notes in Computer Science | 08.11.2001 |