Lecture Notes in Computer Science 3137 Adaptive Hypermedia and Adaptive Web-Based Systems Third Inte
AH 20042004 年出版442 页ISBN:3540228950
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN:0792396502
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN:9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN:3540261818
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN:3540219749
Lecture Notes in Computer Science 4018 Adaptive Hypermedia and Adaptive Web-Based Systems 4th Intern
AH 20062006 年出版474 页ISBN:3540346961
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202