Mathematics of Program Construction

by Tarmo Uustalu

Mathematics of program construction

by International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal)

MPC PSP catalogue

Mathematics of program construction

by Dexter Kozen

Mathematics of program construction

by MPC 2006 (2006 Kingissepa, Estonia)

Practical Design and Application of Model Predictive Control

by Nassim Khaled, Bibin Pattel

Mathematics of Program Construction: Third International Con...

by Bernhard Moller

Mathematics of Program Construction

by Ralf Hinze, Janis Voigtländer

Mathematics of Program Construction

by Johan Jeuring

A large amount of work on the problem of graph layout has been carried out in recent years, resulting in a number of sop...

Mathematics of program construction

Dynamic Programming (DP)[2] is a well-established and widely used programming technique.

Mathematics of program construction

by MPC '98 (1998 : Marstrand, Sweden)

Mathematics of program construction

by MPC '95 (1995 : Kloster Irsee)

Mathematics of program construction

by MPC 2010 (2010 Québec, Québec)

Mathematics Of Program Construction 11th International Confe...

by Jeremy Gibbons

Mathematics of program construction

by MPC 2000 (5th 2000 Ponte do Lima, Portugal)

Mathematics of program construction

by MPC 2000 (2000 Ponte do Lima, Portugal)

Mathematics of program construction

by International Conference on Mathematics of Program Construction (4th 1998 Marstrand, Sweden)

Mathematics of Program Construction

by Hutchison, David - undifferentiated

Mathematics of Program Construction

by Jeremy Gibbons

Mathematics of program construction

by MPC 2002 (2002 Dagstuhl Castle, Germany)