Jump to main content

yr 〜
yr

Search results 9

Algorithmic problem solving : pbk

Algorithmic problem solving : pbk
Paper図書
Roland BackhouseWiley2011.
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C.

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Paper図書
Roland Backhouse ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingSpring School on Datatype-Generic Programming (SSDGP) Backhouse, Roland C.

Datatype-generic programming : international spring school, SSDGP 2006 : Nottingham, UK, April 24-27, 2006 : revised lectures. : Apr 2006, Nottingham, UK. (Lecture Notes in Computer Science ; 4719. Tutorial)

Datatype-generic programming : international spring school, SSDGP 2006 : Nottingham, UK, April 24-27, 2006 : revised lectures. : Apr 2006, Nottingham, UK. (Lecture Notes in Computer Science ; 4719. Tutorial)
Paper図書
Springerc2007.<M17-08-1064>
National Diet Library
  • Author HeadingBackhouse, Roland C., 1948- SSDGP 2006 (2006 : Not...

Program construction : calculating implementations from specifications

Program construction : calculating implementations from specifications
Paper図書
Roland BackhouseWiley2003
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C.

Generic programming : advanced lectures

Generic programming : advanced lectures
Paper図書
Roland Backhouse, Jeremy Gibbons (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C. Gibbons, Jeremy

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Digital図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)Springer1899
Other Libraries in Japan
  • Author HeadingMathematics of Program Construction Backhouse, Roland C. Crole, Roy L Gibbons, Jeremy

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Paper図書
Roland Backhouse, José Nuno Oliveira (eds.)Springerc2000
Other Libraries in Japan
  • Author Heading...m Construction Backhouse, Roland C. Oliveira, José N.

Program construction and verification : pbk

Program construction and verification : pbk
Paper図書
Roland C. BackhousePrentice-Hall1986
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C.

Syntax of programming languages : theory and practice

Syntax of programming languages : theory and practice
Paper図書
Roland C. BackhousePrentice-Hall Internationalc1979
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C.

Reached to the end of result.

RSS