1
Programming-Based Formal Languages and Automata Theory [E-Book] : Design, Implement, Validate, and Prove /
2
Animated Program Design [E-Book] : Intermediate Program Design Using Video Game Development /
3
Animated Problem Solving [E-Book] : An Introduction to Program Design Using Video Game Development /
4
Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
5
Implementation and Application of Functional Languages [E-Book] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /