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 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
FINANCIAL RISK FORECASTING:THE THEORY AND PRACTICE OF FORECASTING MARKET RISK WITH IMPLEMENTATION IN
JON DANIELSSON2011 年出版274 页ISBN:0470669433