close
1.

電子ブック

EB
Peter Müller, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs / K. Rustan M. Leino ; Peter Müller
Fixpoints and Search in PVS / Natarajan Shankar
Multi Core Design for Chip Level Multiprocessing / Tryggve Fossum
Author Index
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
2.

電子ブック

EB
Peter Müller
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Equilibrium thermodynamics of sea water / 2:
Balance equations / 3:
Molecular flux laws / 4:
The gravitational potential / 5:
The basic equations / 6:
Dynamical impact of the equation state / 7:
Free wave solution on a sphere / 8:
Asymptotic expansions / 9:
Reynolds decomposition / 10:
Boussinesq approximation / 11:
Large scale motions / 12:
Primitive equations / 13:
Representations of vertical structure / 14:
Ekman layers / 15:
Planetary geostrophic flows / 16:
Tidal equations / 17:
Medium scale motions / 18:
Quasi-geostrophic flows / 19:
Motions on the f-plane / 20:
Small scale motions / 21:
Sound waves / 22:
Equilibrium thermodynamics / A:
Vector and tensor analysis / B:
Orthogonal curvilinear coordinate systems / C:
Kinematics of fluid motions / D:
Kinematics of waves / E:
Conventional and notation / F:
References
Index
Introduction / 1:
Equilibrium thermodynamics of sea water / 2:
Balance equations / 3:
3.

電子ブック

EB
Peter Müller
出版情報: SpringerLink Books Mathematics And Statistics Without Lecture Notes 2015 , Springer International Publishing, 2015
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼