Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
DATA NETWORKS:ANALYSIS AND DESIGN THIRD DATA COMMUNICATIONS SYMPOSIUM
IEEE Computer Society1973 年出版164 页ISBN：
MAJOR ECONOMIC ISSUES IN DATA PROCESSING/DATA COMMUNICATIONS SERVICES
Horace J.De Podwin1968 年出版159 页ISBN：
THE ANALYSIS AND COGNITION OF BASIC MELODIC STRUCTURES THE IMPLICATION-REALIZATION MODEL
NARMOUR2222 年出版485 页ISBN：0226568458
Spectrum Requirement Planning in Wireless Communications Model and Methodology for IMT-Advanced
Hideaki Takagi2008 年出版248 页ISBN：
The interpretation and uniformity of the UNCITRAL model law on international commercial arbitration
Dean Lewis2016 年出版286 页ISBN：9789041167002
