Вы здесь
Desharnais J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Program Construction by Parts | 1995 | Frappier M., Mili A., Desharnais J. | Lecture Notes in Computer Science | 30.03.2002 | |||
| СТ | Kleene under a Demonic Star | 2000 | Desharnais J., Moller B., Tchier F. | Lecture Notes in Computer Science | 17.06.2000 | |||
| СТ | Integration of Sequential Scenarios | 1997 | Desharnais J., Frappier M., Khedri R., Mili A. | Lecture Notes in Computer Science | 07.10.1997 | |||
| СТ | Formal Properties of Rectangular Relations | 1994 | Belkhiter N., Jaoua A., Desharnais J., Ennis G., Ounalli H., Gammoudi M. M. | Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX | 23.05.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Relational and Algebraic Methods in Computer Science: Proc./17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 2018 | 2018 | Lecture Notes in Computer Science |
|
24.01.2019 | |||
| СБ | Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010 | 2010 | Lecture Notes in Computer Science |
|
10.08.2010 |