ID:DA11479612
Conference on the Mathematics of Program Construction, International
Mathematics of Program Construction, International Conference
International Conference, MPC
MPC
Conference on Mathematics of Program Construction
同姓同名の著者を検索
Jeremy Gibbons, Pablo Nogueira (eds.)
Springer c2012 Lecture notes in computer science 7342
所蔵館1館
Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)
Springer c2010 Lecture notes in computer science 6120
Philippe Audebaud, Christine Paulin-Mohring (eds.)
Springer c2008 Lecture notes in computer science 5133
Tarmo Uustalu (ed.)
Springer c2006 Lecture notes in computer science 4014
所蔵館10館
Dexter Kozen (ed.)
Springer c2004 Lecture notes in computer science 3125
所蔵館20館
Eerke A. Boiten, Bernhard Möller (eds.)
Springer c2002 Lecture notes in computer science 2386
所蔵館27館
Roland Backhouse, José Nuno Oliveira (eds.)
Springer c2000 Lecture notes in computer science 1837
所蔵館37館
Johan Jeuring (ed.)
Springer c1998 Lecture notes in computer science 1422
所蔵館41館
Bernhard Möller, (ed.)
Springer c1995 Lecture notes in computer science 947
所蔵館55館
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
Springer-Verlag c1993 Lecture notes in computer science 669
: gw , : us
所蔵館62館