LAP LAMBERT Academic Publishing · Springer
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Advanced Research in Applied Artificial Intelligence: 25th International Conference on Industrial Engineering and Other Applications of Applied ... Notes in Computer Science, Band 7345) | 978-3-642-31086-7 (3-642-31086-9) | 2012 | He Jiang · Moonis Ali · Xindong Wu |
Modern Advances in Intelligent Systems and Tools | 978-3-642-30731-7 (3-642-30731-0) | 2012 | He Jiang · Moonis Ali · Mingchu Li |
Using Model Checking to Generate Test Cases for Critical Systems: Testing for Safety | 978-3-8433-5565-0 (3-8433-5565-7) | 2010 |
W. Dahmash · W. Domcke · W. Donachie · W. Dong · W. Dymock · Way Denis · Wei Deng · Wei-Ding Tsai · Wei Dong · Wei Dongya · Weihua Deng · Wu Deng