Mission-Critical and Safety-Critical Systems Handbook Design and Development for Embedded Applicatio
Kim Fowler2010 年出版578 页ISBN：
QUANTIZED VORTEX STATES AND DYNAMICS FOR BOSE-EINSTEIN CONDENSATES
HANQUAN WANG2012 年出版134 页ISBN：7030340744
本书的特点与独到之处是我们设计了一种模守恒且能量递减的数值方法来求得静态的Gross-Pitaevskii方程（组）的数值解；我们也设计了一种高精度且快速的方法——时间分裂谱方法来求解动态的Gross-Pitaevskii方程（组...
Sound systems design and optimization modern techniques and tools for sound system design and alignm
Bob McCarthy2016 年出版580 页ISBN：415731011
Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN：3540251073
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN：3540606475
