ID:DA13763661
International Conference on Formal Engineering Methods
同姓同名の著者を検索
Adrian Riesco, Min Zhang (eds.)
Springer c2022 Lecture notes in computer science 13478
: pbk
所蔵館1館
Stephan Merz, Jun Pang (eds.)
Springer c2014 Lecture notes in computer science 8829 . LNCS sublibrary ; SL 2 . Programming and software engineering
Karin Breitman, Ana Cavalcanti (eds.)
Springer c2009 Lecture notes in computer science 5885
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
Springer c2008 Lecture notes in computer science 5256
所蔵館7館
Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
Springer c2007 Lecture notes in computer science 4789
所蔵館5館
Zhiming Liu, Jifeng He (eds.)
Springer c2006 Lecture notes in computer science 4260
所蔵館8館
Kung-Kiu Lau, Richard Banach (eds.)
Springer c2005 Lecture notes in computer science 3785
所蔵館10館
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Springer c2004 Lecture notes in computer science 3308
所蔵館14館
Jin Song Dong, Jim Woodcock (eds.)
Springer c2003 Lecture notes in computer science 2885
所蔵館23館
Chris George, Huaikou Miao (eds.)
Springer c2002 Lecture notes in computer science 2495
所蔵館24館
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
IEEE Computer Society c1997
所蔵館3館