>> 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
 
1 図書 Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Buss, Samuel R., Scott, Phillip J., Workshop on Feasible Mathematics, Cornell University. Mathematical Sciences &hellip;

Birkhäuser
7 図書 Neurobiological aspects of maturation and aging : proceedings of a symposium, sponsored by the International Society of Psychoneuroendocrinology, and held at …

Ford, Donald Herbert, 1921-, International Society of Psychoneuroendocrinology

Elsevier Scientific Pub. Co.
2 図書 Stochastic analysis : Summer Research Institute on Stochastic Analysis, July 11-30, 1993, Cornell University, Ithaca, New York

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

American Mathematical Society
8 図書 Analytic theory of continued fractions III : proceedings of a Seminar-Workshop, held in Redstone, USA, June 26-July 5, 1988

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

Springer-Verlag
3 図書 Planetary nebulae : observations and theory : symposium no. 76 held at Cornell University, Ithaca, New York, USA, June 6-10, 1977

Planetary Nebulae Symposium, Terzian, Yervant, 1939-, International Astronomical Union. Symposium

D. Reidel
9 雑誌 New York's food and life sciences bulletin

Cornell University Agricultural Experiment Station, New York State Agricultural Experiment Station

Cornell University Agricultural Experiment Station
4 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

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

Springer-Verlag
10 図書 The mechanism of phase transformations in crystalline solids : proceedings of an international symposium organized by the Institute of Metals and held in the …

Institute of Metals, University of Manchester

Institute of Metals for the Metals & Metallurgy Trust
5 図書 Stable processes and related topics : a selection of papers from the Mathematical Sciences Institute Workshop, January 9-13, 1990

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

Birkhäuser
11 図書 Algebraic and geometric topology : proceedings of a conference held at Rutgers University, New Brunswick, USA, July 6-13, 1983

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

Springer-Verlag
6 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

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

Springer-Verlag
12 図書 Adaptive statistical procedures and related topics : proceedings of a symposium in honor of Herbert Robbins, June 7-11, 1985, Brookhaven National Laboratory, …

Robbins, Herbert, Van Ryzin, John, Institute of Mathematical Statistics

Institute of Mathematical Statistics