Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
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
Lecture Notes in Computer Science 1586 Parallel and Distributed Processing 11th IPPS/SPDP'99 Worksho
1999 年出版1443 页ISBN:3540658319
SCIENTIFIC INQUIRY IN NURSING EDUCATION ADVANCING THE SCIENCE
BARBARA J.PATTERSON ANNE M.KROUSE2017 年出版142 页ISBN:1934758281
Ecocatalysis: a new integrated approach to scientific ecology
Claude Grison ; Vincent Escande ; Jacques Biton2015 年出版84 页ISBN:1785480300