Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
HUMAN-NATURE INTERACTIONS IN THE ANTHROPOCENE POTENTIALS OF SOCIAL-ECOLOGICAL SYSTENS ANALYSIS
EDITED BY MARION GLASER2012 年出版231 页ISBN：
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
GHG EMISSIONS AND ECONOMIC GROWTH A COMPUTABLE GENERAL EQUILIBRIUM MODEL BASED ANALYSIS FOR INDIA
JOYASHREE ROY2015 年出版0 页ISBN：
重构 改善既有代码的设计 （第2版·英文版）=Refactoring lmproving the Design of Existing Code，Second Edition
（美）马丁·福勒（Martin Fowler）著2019 年出版0 页ISBN：
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
Lecture Notes in Computer Science 2289 Hybrid Systems:Computation and Control 5th International Work
HSCC 20022002 年出版478 页ISBN：354043321X
Lecture Notes in Computer Science 2382 Next Generation Information Technologies and Systems 5th Inte
NGITS 20022002 年出版168 页ISBN：354043819X
