Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
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 Control and Information Sciences 242 Nonlinear Control Systems An Algebraic Setting
1999 年出版166 页ISBN:1852331518
ANTIBIOTICS:A SURVEY OF THEIR PROPERTIES AND USES
THE PHARMACEUTICAL SOCIETY OF GREAT BRITAIN1952 年出版290 页ISBN: