Atmospheric and oceanic fluid dynamics: fundamentals and large-scale circulation
Geoffrey K. Vallis2006 年出版746 页ISBN:0521849692
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN:9783540749141