1.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International S...
by Backhouse, Roland C., Crole...
ISBN: 9783540436133
List Price: $89.95
2.
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlan...
by Gibbons, Jeremy, Nuno Olive...
ISBN: 9783642049118
List Price: $72.00
3.
Generic Programming Ifip Tc2/Wg2.1 Working Conference on Generic Programming, July 11-12, 20...
by Gibbons, Jeremy, Jeuring, J...
ISBN: 9781402073748
List Price: $165.00
4.
Generic Programming Advanced Lectures
by Backhouse, Roland C., Gibbo...
ISBN: 9783540201946
List Price: $69.95
5.
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 200...
by Davies, Jim, Gibbons, Jeremy
ISBN: 9783540732099
List Price: $109.00
6.
Datatype-Generic Programming
by Backhouse, Roland, Gibbons,...
ISBN: 9783540767855
List Price: $69.95
7.
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain...
by Gibbons, Jeremy, Nogueira, ...
ISBN: 9783642311123
List Price: $83.00
8.
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tu...
by Gibbons, Jeremy, Stevens, P...
ISBN: 9783319791074
List Price: $69.99
9.
Proceedings of the Third ACM Haskell Symposium on Haskell
by Gibbons, Jeremy
ISBN: 9781450302524
List Price: $24.00
OUT OF STOCK
See Availability on Amazon10.
11.
Generic Programming : IFIP TC2 / WG2. 1 Working Conference Programming July 11-12, 2002, Dag...
by Gibbons, Jeremy, Jeuring, J...
ISBN: 9781475753202
List Price: $165.00
13.
Foundations of Health Information Engineering and Systems : Third International Symposium, F...
by Gibbons, Jeremy, Maccaull, ...
ISBN: 9783642539572
List Price: $24.99
OUT OF STOCK
See Availability on Amazon14.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
by Backhouse, Roland, Crole, R...
ISBN: 9783662195628
List Price: $24.99
OUT OF STOCK
See Availability on Amazon15.
Erlang'17 : 16th ACM SIGPLAN International Workshop on Erlang
by Gibbons, Jeremy
ISBN: 9781450351799
List Price: $99.00
OUT OF STOCK
See Availability on Amazon16.
Farm'17 : 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
by Gibbons, Jeremy
ISBN: 9781450351805
List Price: $99.00
OUT OF STOCK
See Availability on Amazon17.
Fhpc'17 : 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing
by Gibbons, Jeremy
ISBN: 9781450351812
List Price: $99.00
OUT OF STOCK
See Availability on Amazon18.
Haskell'17 : 10th ACM SIGPLAN International Haskell Symposium
by Gibbons, Jeremy
ISBN: 9781450351829
List Price: $99.00
OUT OF STOCK
See Availability on Amazon19.
TyDe'17 : 2st ACM SIGPLAN International Workshop on Type-Driven Development
by Gibbons, Jeremy
ISBN: 9781450351836
List Price: $99.00
OUT OF STOCK
See Availability on Amazon21.
Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan...
by Gibbons, Jeremy, Miller, Dale
ISBN: 9789819722990
List Price: $74.99