Вы здесь

Jackson P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Introduction to Expert Systems (Third Edition) 1999 Jackson P. 11.06.2013

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010 2010 Lecture Notes in Computer Science
  1. Touili T.
  2. Cook B.
  3. Jackson P.
14.09.2010