Вы здесь

Главная

Gibbons J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Arithmetic Coding with Folds and Unfolds 2003 Bird R., Gibbons J. Lecture Notes in Computer Science 06.06.2003
СТ Towards a Colimit-Based Semantics for Visual Programming 2002 Gibbons J. Lecture Notes in Computer Science 12.06.2002
СТ An Initial-Algebra Approach to Directed Acyclic Graphs 1995 Gibbons J. Lecture Notes in Computer Science 30.03.2002
СТ Pointwise Relational Programming 2000 De Moor O., Gibbons J. Lecture Notes in Computer Science 17.06.2000
СТ Structured Programming in Java 1998 Gibbons J. SIGPLAN Notices 28.09.1998
СТ The Active Badge Location System 1992 Want R., Hopper A., Falcao V., Gibbons J. ACM Trans. Information Systems 29.05.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Bidirectional Transformations: Tutorial Lectures/ International Summer School, Oxford, UK, July 2016 2018 Lecture Notes in Computer Science
  1. Gibbons J.
  2. Stevens P.
 15.05.2018
СБ Foundations of Health Information Engineering and Systems: Revised Selected Papers/3rd International Symposium, FHIES 2013, Macau, China, August 2013 2014 Lecture Notes in Computer Science
  1. Gibbons J.
  2. Maccaull W.
 18.02.2014
СБ Generic and Indexed Programming: Revised Lectures/ International Spring School, SSGIP 2010, Oxford, UK, March 2010 2012 Lecture Notes in Computer Science
  1. Gibbons J.
 03.09.2012
СБ Mathematics of Program Construction: Proc./11th International Conference, MPC 2012, Madrid, Spain, June 2012 2012 Lecture Notes in Computer Science
  1. Gibbons J.
  2. Nogueira P.
 29.08.2012
СБ Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009 2009 Lecture Notes in Computer Science
  1. Gibbons J.
  2. Oliveira J. N.
 21.11.2009
СБ 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
СБ Integrated Formal Methods: Proc./6th International Conference, IFM 2007. Oxford, UK, July 2007 2007 Lecture Notes in Computer Science
  1. Davies J.
  2. Gibbons J.
 08.09.2007
СБ Generic Programming. Advanced Lectures 2003 Lecture Notes in Computer Science
  1. Backhouse R.
  2. Gibbons J.
 29.11.2003
СБ 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