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: