Jump to main content

yr 〜
yr

Search results 9

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A5744>
National Diet Library
  • Author Heading...ffrey) , 1960- Cornell University. Mathematical Sciences Institute.

Structure in complexity theory : 2nd Annual conference : Jun 1987, Ithaca, NY.

Structure in complexity theory : 2nd Annual conference : Jun 1987, Ithaca, NY.
Paper図書
Computer Society Press of the IEEE1987.<M17-87-2557>
National Diet Library
  • Author Heading... of Computing. Cornell University. Mathematical Sciences Institute.

Hybrid systems 2 : 3rd Workshop : Oct 1994, Ithaca, NY. (Lecture Notes in Computer Science ; 999)

Hybrid systems 2 : 3rd Workshop : Oct 1994, Ithaca, NY. (Lecture Notes in Computer Science ; 999)
Paper図書
Springer1995.<M17-96-1202>
National Diet Library
  • Author HeadingCornell University. Mathematical Sciences Institute (MSI) US Army Research Office...

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

Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings : gw : us
Paper図書
M. Leeser, G. Brown (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingCornell University. Mathematical Sciences Institute. Workshop Lees...... G. (Geoffrey) Cornell University. Mathematical Sciences Institute

Stable processes and related topics : a selection of papers from the Mathematical Sciences Institute Workshop, January 9-13, 1990 : us : gw

Stable processes and related topics : a selection of papers from the Mathematical Sciences Institute Workshop, January 9-13, 1990 : us : gw
Paper図書
Stamatis Cambanis, Gennady Samorodnitsky, Murad S. Taqqu, editorsBirkhäuser1991
Other Libraries in Japan
  • Author Heading...Taqqu, Murad S Cornell University. Mathematical Sciences Institute Cornell University. Mathematical Sciences Institute. Workshop Workshop on Stable ...

Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 : us : sz

Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 : us : sz
Paper図書
Samuel R. Buss, Phillip J. Scott, editorsBirkhäuser1990
Other Libraries in Japan
  • Author Heading...le Mathematics Cornell University. Mathematical Sciences Institute

Large-scale numerical optimization

Large-scale numerical optimization
Paper図書
edited by Thomas F. Coleman, Yuying LiSociety for Industrial and Applied Mathematicsc1990
Other Libraries in Japan
  • Author Heading...ck) Li, Yuying Cornell University. Mathematical Sciences Institute

Annotated computer output

Annotated computer output
Paper雑誌雑誌タイトル
Cornell University Mathematical Sciences InstituteCornell University Mathematical Sciences Institute
Other Libraries in Japan
  • Author HeadingCornell University. Mathematical Sciences Institute
  •  
  •  
  •  
  •  
  •  
    •  

Technical report

Technical report
Paper雑誌雑誌タイトル
Cornell University Mathematical Sciences InstituteCornell University Mathematical Sciences Institute
Other Libraries in Japan
  • Author HeadingCornell University. Mathematical Sciences Institute
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS