Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
An Integrated Approach For The Improvement of Flood Control and Drainage Schemes In The Coastal Belt
Md.Liakath Ali2017 年出版220 页ISBN：1138441453
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Physical Chemistry Research for Engineering and Applied Sciences Volume 3: High Performance Material
Eli M. Pearce ; Bob A. Howell ; Richard A. Pethrick ;.Gennady E. Zaikov2015 年出版272 页ISBN：1771880589
Vertical flow constructed wetlands eco-engineering systems for wastewater and sludge treatment
Alexandros Stefanakis ; Christos S.Akratos ; Vassilios A.Tsihrintzis2014 年出版378 页ISBN：0124046122
CHEMISTRY FOR ENGINEERS AND MANUFACTURERS:A PRACTICAL TEXT-BOOK SECOND EDITION VOLUME Ⅱ
CHARLES GRIFFIN & COMPANY1913 年出版513 页ISBN：
