Roland Backhouseの本 - BookPine

Algorithmic Problem Solving

Algorithmic Problem Solving

Roland Backhouse

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

Roland Backhouse

Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

Roland Backhouse

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Roland Backhouse

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... 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, ... UK, April 10-14, 2000, Revised Lectures

Roland Backhouse

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

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

Roland Backhouse

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer ... 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 (Lecture Notes in Computer ... Lima, Portugal, July 3-5, 2000: Proceedings

Roland Backhouse

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

Roland Backhouse

Program Construction and Verification

Program Construction and Verification

Roland Backhouse

Syntax of Programming Languages: Theory and Practice

Syntax of Programming Languages: Theory and Practice

Roland Backhouse

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

Roland Backhouse