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

Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2002
形態:
xi, 398 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2517 <BA00009279>
著者名:
ISBN:
9783540001164 [3540001166]
書誌ID:
BA59824848
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Aagaard, Mark D., O'Leary, John W., SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Gopalakrishnan, Ganesh., Windley, Phillip., SpringerLink (Online service)

Springer Berlin Heidelberg
2 電子ブック Formal Methods in Computer-Aided Design

FMCAD 2002, Aagaard, Mark, O'Leary, John W., Aagaard, Mark D.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)

Springer
3 図書 Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

FMCAD (Conference), Hu, Alan J., Martin, Andrew K.

Springer
9 電子ブック Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Hunt, Warren A. Jr., Johnson, Steven D., SpringerLink (Online service)

Springer Berlin Heidelberg
4 図書 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

FMCAD (Conference), Srivas, Mandayam, Camilleri, Albert

Springer
10 電子ブック Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Hu, Alan J., Martin, Andrew K., SpringerLink (Online service)

Springer Berlin Heidelberg
5 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Srivas, Mandayam., Camilleri, Albert., SpringerLink (Online service)

Springer Berlin Heidelberg
11 電子ブック Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Aagaard, Mark., Harrison, John., SpringerLink (Online service)

Springer Berlin Heidelberg
6 図書 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

FMCAD (Conference), Gopalakrishnan, Ganesh, Windley, Phillip J., 1958-

Springer
12 図書 Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : …

Workshop on Randomization and Approximation Techniques in Computer Science, Rolim, José D. P., Vadhan, Salil

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