Jump to main content

yr 〜
yr

Search results 11

Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012, proceedings

Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012, proceedings
Paper図書
Jeremy Gibbons, Pablo Nogueira (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Gibbons, Jeremy Nogueira, Pab...

Mathematics of program construction : 10th international conference, MPC 2010, Québec City, Canada, June 21 - 23, 2010, proceedings

Mathematics of program construction : 10th international conference, MPC 2010, Québec City, Canada, June 21 - 23, 2010, proceedings
Paper図書
Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingBolduc, Claude International Conference on the Mathematics of Program Construction Desharnais, Jules Ktari, Béch...

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
Paper図書
Philippe Audebaud, Christine Paulin-Mohring (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Audebaud, Philippe Paulin-Moh...

Mathematics of program construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings

Mathematics of program construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Paper図書
Tarmo Uustalu (ed.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Uustalu, Tarmo

Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Paper図書
Dexter Kozen (ed.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Kozen, Dexter

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Paper図書
Eerke A. Boiten, Bernhard Möller (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Boiten, Eerke A Möller, Bernh...

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
Paper図書
Roland Backhouse, José Nuno Oliveira (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Backhouse, Roland C. Oliveira...

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9763>
National Diet Library
  • Author HeadingInternational Conference on the Mathematics of Program Construction (3rd : 1995 : Kloster Irsee, ...

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Paper図書
Johan Jeuring (ed.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Jeuring, Johan

Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Paper図書
Bernhard Möller, (ed.)Springerc1995
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Möller, Bernhard

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings : gw : us

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings : gw : us
Paper図書
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Note (General)... at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's Coll...
  • Author HeadingInternational Conference on the Mathematics of Program Construction Bird, R. S. (Richard Simpson)...

Reached to the end of result.

RSS