1.
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, Hoa '95, Pade...
by Moller, Bernard, Meinke, Karl
ISBN: 9783540612544
List Price: $69.95
2.
Constructing Programs from Specifications: Proceedings of the Ifip Tc2/Wg 2.1 Working Confer...
by Moller, Bernard
ISBN: 9780444891846
List Price: $167.50
3.
Introduction to Transportation Analysis, Modeling and Simulation : Computational Foundations...
by Moller, Dietmar P.F., Schro...
ISBN: 9781447156383
List Price: $24.99