close
1.

電子ブック
ＥＢ
1. A Decade of Concurrency Reflections and Perspectives
Bakker, Jacobus Willem Bakker, W.-P de Roever, Grzegorz Rozenberg
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Semantics: Foundations and Applications
REX Workshop, Jacobus Willem Bakker, W.-P de Roever, Grzegorz Rozenberg
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
Bakker, Jacobus Willem Bakker, W.-P de Roever, Grzegorz Rozenberg
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1990
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Real-Time: Theory in Practice
REX Workshop, Jacobus Willem Bakker
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1992
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼