Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
THE REFORM OF CLASS AND REPRESENTATIVE ACTIONS IN EUROPEAN LEGAL SYSTEMS A NEW FRAMEWORK FOR COLLEC
CHRISTOPHER HODGES2008 年出版319 页ISBN:1841139025
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Error control coding for B3G/4G wireless systems : paving the way to IMT-advanced standards
edited by Thierry Lestable2011 年出版264 页ISBN: