Вы здесь

Главная

Backhouse R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Elements of a Relational Theory of Datatypes 1993 Backhouse R., Hoogendijk P. Lecture Notes in Computer Science 08.02.1994
СТ Generic Programming - An Introduction - 1999 Backhouse R., Jansson P., Jeuring J., Meertens L. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.08.1999
СТ Interfacing Program Construction and Verification 1999 Verhoeven R., Backhouse R. Lecture Notes in Computer Science 26.10.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: Revised Lectures/Intern. Summer School and Workshop, Oxford, UK, April 2000 2002 Lecture Notes in Computer Science
  1. Backhouse R.
  2. Crole R.
  3. Gibbons J.
 24.05.2002
СБ Datatype-Generic Programming: Revised Lectures/International Spring School, SSDGP 2006. Nottingham, UK, April 2006 2007 Lecture Notes in Computer Science
  1. Backhouse R.
  2. Gibbons J.
  3. Hinze R.
  4. Jeuring J.
 15.04.2008
СБ Generic Programming. Advanced Lectures 2003 Lecture Notes in Computer Science
  1. Backhouse R.
  2. Gibbons J.
 29.11.2003
СБ Mathematics of Program Construction: Proc./ 5th International Conference, MPC 2000. Ponte de Lima, Portugal, July 2000 2000 Lecture Notes in Computer Science
  1. Backhouse R.
  2. Oliveira J. N.
 19.08.2000