Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
GUIDELINES FOR INTEGRTING MANAGEMENT SYSTEMS AND METRICS TO IMPROVE PROCESS SAFETY PERFORMANCE
2016 年出版186 页ISBN：1118795033
Managing foodservice operations : a systems approach for healthcare and institutions second edition
1992 年出版475 页ISBN：0840378556
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Mission-Critical and Safety-Critical Systems Handbook Design and Development for Embedded Applicatio
Kim Fowler2010 年出版578 页ISBN：
CHROMATIN STRUCTURE AND FUNCTION LEVELS OF ORGANIZATION AND CELL FUNCTION PART B
CLAUDIO A.NICOLINI1979 年出版880 页ISBN：0306400766
Robust Adaptive Control For Fractional-Order Systems With Disturbance And Saturation
Mou Chen2017 年出版232 页ISBN：
