ID:DA11661682
Mohring, Christine Paulin-
同姓同名の著者を検索
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] c2010
: pbk
所蔵館1館
Philippe Audebaud, Christine Paulin-Mohring (eds.)
Springer c2008 Lecture notes in computer science 5133
Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Springer c2006 Lecture notes in computer science 3839
所蔵館7館
Eduardo Giménez, Christine Paulin-Mohring (eds.)
Springer c1998 Lecture notes in computer science 1512
所蔵館43館