Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN：0314774602
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
STRATEGIES FOR THE GREEN ECON MY OPPORTUNITIES AND CHALLENGES IN THE NEW WORLD OF BUSINESS
JOEL MAKOWER2009 年出版291 页ISBN：0071600302
Lecture Notes in Computer Science 3349 Shared Memory Parallel Programming with OpnMP 5th Internation
WOMPAT 20042005 年出版149 页ISBN：354024560X
Parallel and Distributed Methods for Image Procssing IV
2000 年出版176 页ISBN：0819437638
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN：9783540756637
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN：3540230351
