>> Google Books

Interactive Systems. Design, Specification, and Verification / Gavin Doherty, Ann Blandford, Takeo Kanade

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540695530 [3540695532]
9786610865055 [6610865051]
書誌ID:
OB00354344
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Doherty, Gavin, Blandford, Ann, Kanade, Takeo

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

DSV-IS 2003, Falcão e Cunha, João, Jardim Nunes, Nuno, Jorge, Joaquim A.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Gilroy, Stephen W., Harrison, Michael D., Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

DSV-IS 2001, Johnson, Chris W.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Graham, T. C. Nicholas, Kanade, Takeo, Palanque, Philippe

Springer eBooks Computer Science, Springer Berlin Heidelberg

DSV-IS 2002, Forbrig, Peter

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Gilroy, Stephen W., Harrison, Michael D., Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

Bultan, Tevfik, Hsiung, Pao-Ann, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Graham, T. C. Nicholas, Kanade, Takeo, Palanque, Philippe

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Bultan, Tevfik, Hsiung, Pao-Ann, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

DSV-IS 2000, Palanque, Philippe, Paternò, Fabio

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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