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
Handbook of Magnetism and Advanced Magnetic Materials Volume 3:Novel Techniques for Characterizing a
Helmut Kronmuller2007 年出版1857 页ISBN：
PUENTES:SPANISH FOR INTENSIVE AND HIGH-BEGINNER COURSES INSTRUCTOR'S ANNOTATED EDITION
PATTI J.MARINELLI LIZETTE MUJICA LAUGHLIN1994 年出版372 页ISBN：083844296X
ATLAS ECLIPTICALIS HRON 2 SEE GENERAL DIRECTIONS FOR JOSE GOMEZ-IBANEZ AND LIDIA
JOHN CAGE1961 年出版236 页ISBN：
PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS VOLUME 141 ADAPTIVE OPTICAL CO
1978 年出版120 页ISBN：0892521686
Proceedings of the Society of Photo-Optical Instrumentation Engineers Volume 201 Optical Pattern Rec
1979 年出版159 页ISBN：0892522291
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Intelligent Governance For The 21ST Century A Middle Way Berween West And East
Nicolas Berggruen2013 年出版196 页ISBN：0745659732
