著者典拠情報

標目形：
Cornell University. Mathematical Sciences Institute. Workshop
属性：
Corporate
場所：
Cornell Univ., Ithaca
日付：
1989
注記：
Its Hardware specification, verification, and synthesis, 1990: t.p. (Mathematical Sciences Institute Workshop, Cornell University, Ithaca, N.Y., July 1989)
著者典拠ID：
DA04834747


1.

図書
図書
1. Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings (: gw ; : us)
M. Leeser, G. Brown (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 408
所蔵情報: loading…
2.

図書
図書
2. Stable processes and related topics : a selection of papers from the Mathematical Sciences Institute Workshop, January 9-13, 1990 (: us ; : gw)
Stamatis Cambanis, Gennady Samorodnitsky, Murad S. Taqqu, editors
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in probability / series editors, Thomas Liggett, Charles Newman, Loren Pitt ; 25
所蔵情報: loading…