DESIGN AUTOMATION OF DIGITAL SYSTEMS VOLUME ONE THEORY AND TECHNIQUES
MELVIN A.BREUER2222 年出版420 页ISBN：0131998935
ADVANCES IN REASONING-BASED IMAGE PROCESSING INTELLIGENT SYSTEMS CONVENTIONAL AND INTELLIGENT PARADI
ROUMEN KOUNTCHEV AND KAZUMI NAKAMATSU（EDS.）2012 年出版454 页ISBN：9783642246920
Quantum-chemical calculations of unique molecular systems Volume 1
Vladimir A. Babkin ; Gennady E. Zaikov ; A. K. Haghi2014 年出版402 页ISBN：1926895758
Quantum-chemical calculations of unique molecular systems Volume 2
Vladimir A. Babkin ; Gennady E. Zaikov ; A. K. Haghi2014 年出版628 页ISBN：1926895758
Lecture Notes in Artificial Intelligence 3862 Programming Multi-Agent Systems Third International Wo
ProMAS 20052006 年出版267 页ISBN：3540326162
Lecture Notes in Computer Science 1386 Hybrid Systems:Computation and Control First International Wo
HSCC981998 年出版415 页ISBN：3540643583
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN：3540221727
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
Lecture Notes in Computer Science 4524 Web Reasoning and Rule Systems First International Conference
RR 20072007 年出版382 页ISBN：9783540729815
