close
1.

電子ブック
ＥＢ
1. Autonomous Systems ? Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6?7, 2008
edited by Bernd Mahr, Sheng Huanye
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
オンライン: http://dx.doi.org/10.1007/978-1-4020-8889-6
所蔵情報: loading…
2.

図書
図書
2. Module specifications and constraints (: us ; : gw)
Ehrig, Hartmut ; Mahr, Bernd
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2
所蔵情報: loading…
3.

図書
図書
3. Equations and initial semantics (: U.S. ; : Germany)
H. Ehrig, B. Mahr
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1
所蔵情報: loading…