Jump to main content

yr 〜
yr

Search results 16

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)
Paper図書
Springerc2008.<M17-08-1883>
National Diet Library
  • Author Heading... Conference on Mathematics of Program Construction, MPC (9th : 2008 : Marseille,...

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Digital図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)Springer1899
Other Libraries in Japan
  • Author HeadingMathematics of Program Construction Backhouse, Roland C. Crole, R...

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 Heading...ference on the Mathematics of Program Construction Desharnais, Jules Ktari, Béch...

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 Heading...ference on the Mathematics of Program Construction (3rd : 1995 : Kloster Irsee, ...

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 : 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 Heading...ference on the Mathematics of Program Construction Audebaud, Philippe Paulin-Moh...

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 : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A4999>
National Diet Library
  • Note (General)... Conference on Mathematics of Program Construction, held June 26-30, 1989, Groni...
  • Author Heading... Conference on Mathematics of Program Construction (1989 : Groningen, Netherland...

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 Heading...ference on the Mathematics of Program Construction Boiten, Eerke A Möller, Bernh...

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8715>
National Diet Library
  • Author HeadingConference on Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.) B...

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 : 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 Heading...ference 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

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)...ference on the Mathematics of Program Construction, held at St. Catherine's Coll...
  • Author Heading...ference on the Mathematics of Program Construction Bird, R. S. (Richard Simpson)...

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us
Paper図書
J.L.A. van de Snepscheut (ed.)Springer-Verlagc1989
Other Libraries in Japan
  • Note (General)... Conference on Mathematics of Program Construction, held June 26-30, 1989, Groni...
  • Author HeadingConference on Mathematics of Program Construction Snepscheut, Jan L. A. van de

Reached to the end of result.

RSS