Вы здесь

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