Вы здесь
Jones M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Explicit State Model Checking with Hopper | 2004 | Jones M., Mercer E. | Lecture Notes in Computer Science | 29.04.2004 | |||
| СТ | Implementing Type Classes | 1993 | Peterson J., Jones M. | SIGPLAN Notices | 11.08.1993 | |||
| СТ | Enhancing the Instructional Capabilities of Intelligent Tuttoring Systems | 1992 | Mohan P., Greer J., Jones M. | Lecture Notes in Computer Science | 03.07.1992 |