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 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Transport and Mixing in Laminar Flows:From Microfluidics to Oceanic Currents
Incorporated;John Wiley & Sons Canada2011 年出版0 页ISBN:
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN:354023635X