儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-11 之 11)
Carnegie-Mellon University Department of Computer Science
1
 

Adding temporal logic to ina jo
Wing, Jeannette M.
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-146    館內使用    30330030001346
2
 

Automatic verification of sequential circuits using temporal logic

Pittsburgh, P.A. : Carnegie-Mellon University, c1984
 
c1984
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-100    館內使用    30330030003094
3
 

Distributed representations
Hinton, Geoffrey E
Pittsburgh, PA. : Department of Computer Science, Carnegie Mellon University, 1984
 
1984
紙本資料

館藏地: 歐美所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 歐美所圖書館3F西文書區  001.644 H597    在架上    30500101041799
4
 

Escher : a geometrical layout system for recursively defined circuits
Clarke, Edmund
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-150    館內使用    30330030001353
5
 

Flexible unparsing in a structure editing environment
Garlan, David
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-129    館內使用    30330030001296
6
 

A game-playing program that learns by analyzing examples
Minton, Steven
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-130    館內使用    30330030001304
7
 

Geometric reasoning : a new paradigm for processing geometric information
Wing, Jeannette M.
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-144    館內使用    30330030001338
8
 

Graph-based algorithms for boolean function manipulation
Bryant, Randal E.
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-135    館內使用    30330030001312
9
 

Implementation issues for algorithmic VLSI processor arrays
Fisher, Allan L.
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-124    館內使用    30330030001270
10
 

PIE : a programming and instrumentation environment for parallel processing
Segall, Zary
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-128    館內使用    30330030001288
11
 

Symbolic verification of MOS circuits
Bryant, Randal E.
Pittsburgh, P.A. : Carnegie-Mellon University, c1985
 
c1985
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  CMU-CS-85-120    館內使用    30330030001254
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄