>> Google Books
QRコード(所蔵情報)

Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings

フォーマット:
図書
責任表示:
M. Leeser, G. Brown (eds.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
形態:
vi, 402 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 408 <BA00009279>
書誌ID:
BA07905255
ISBN:
9783540972266 [3540972269] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387972268 [0387972269] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Summer Research Institute on Stochastic Analysis, Cranston, Michael C. (Michael Craig), 1951-, Pinsky, Mark A., 1940-

American Mathematical Society

Sonnenschein, Hugo, University of Minnesota. Institute for Mathematics and Its Applications

Springer-Verlag

Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics

Springer-Verlag

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Current Trends in Arithmetical Algebraic &hellip;

Harper and Row

Cambanis, S. (Stamatis), 1943-, Samorodnitsky, Gennady, Taqqu, Murad S., Cornell University. Mathematical Sciences &hellip;

Birkhäuser

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag

Ranicki, Andrew, 1948-, Levitt, Norman, 1943-, Quinn, Frank, 1946-

Springer-Verlag

Jacobsen, Lisa, 1943-, Seminar-Workshop on Analytic Theory of Continued Fractions

Springer-Verlag

Research Workshop on Banach Space Theory, Lin, Bor-Luh, American Mathematical Society

American Mathematical Society

Castillo-Chávez, Carlos, Shoemaker, Christine A., Cornell University, Levin, Simon A

Springer-Verlag

Adelman, Richard, Annual National Conference on Labour, New York University. Institute of Labor Relations

Matthew Bender