颁布单位：[Rice University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[Computer, science, Robotics, Motion, planning, Temporal, logic, Formal, methods]

预览  |  原文链接    [浏览：4 下载：0]

颁布单位：[Stellenbosch University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[["Theses, --, Mathematics",, "Dissertations, --, Mathematics",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Software, protection, --, Mathematical, models",, "Computer, security, --, Case, studies.",, "Formal, methods, (Computer, science)",, "Mathematical, Sciences",, "Computer, Science"]]

预览  |  原文链接    [浏览：7 下载：2]

颁布单位：[Stellenbosch University] |  颁布时间：2004 |  实施时间：2004 |  学科分类：[["Kinematics, --, Computer-assisted, instruction",, "Graphic, methods, --, Study, and, teaching, (Secondary)",, "Computer-assisted, instruction, --, Computer, programs",, "Dissertations, --, Education"]]

预览  |  原文链接    [浏览：18 下载：3]

颁布单位：[University of Alberta] |  颁布时间：1992 |  实施时间：1992 |  学科分类：[Boundary, element, methods, Computer, vision]

预览  |  原文链接    [浏览：4 下载：0]