Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
William J.Thieman ; Michael A.Palladino2004 年出版337 页ISBN：0805348255
ARNO F.WITTIG GARY S.BELKIN1990 年出版441 页ISBN：0070712123
SPECIAL EDUCATION FOR TODAY'S TEACHERS AN INTRODUCTION
MICHAEL S.ROSENBERG DAVID L.WESTLING JAMES MCLESKEY2008 年出版518 页ISBN：0131185608
life system modeling and intelligent computing part 2
kang li and xin lin and shiweima and geore w.irwin2010 年出版255 页ISBN：3642158587
life system modeling and intelligent computing part 1
kang li and xin lin and shiweima and geore w.irwin2010 年出版262 页ISBN：3642158528
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
