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：
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
Java 9 High Performance Practical techniques and best practices for optimizing java applications thr
Mayur Ramgir2017 年出版384 页ISBN：1787120785
DATABASE DESIGN AND PROGRAMMING FOR DB2/400 DB2/400数据库设计与编程
（美）PAUL CONTE著 邓召义 余光伟 宫本军 倪晓霞译1998 年出版523 页ISBN：
