>> Google Books

Computer Aided Verification / Roderick Bloem Armin Biere

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer International Publishing, 2014
著者名:
Armin Biere, Roderick Bloem  
ISBN:
9783319088662 [3319088661]
9783319088679 [331908867X]
書誌ID:
OB00284514
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Bloem, Roderick, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, FMCAD Inc

7 電子ブック Computer Aided Verification

Damm, Werner, Hermanns, Holger

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック Trusted Systems

Bloem, Roderick; Lipp, Peter

Springer eBooks Computer Science, Springer International Publishing

8 電子ブック Computer Aided Verification

Touili, Tayssir, Cook, Byron, Jackson, Paul, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

3 電子ブック Computer Aided Verification

Ball, Thomas, Jones, Robert B., Jones, Robert Brent, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

9 電子ブック Computer Aided Verification

Gopalakrishnan, Ganesh, Kanade, Takeo, Qadeer, Shaz

Springer eBooks Computer Science, Springer Berlin Heidelberg

4 電子ブック Computer Aided Verification

Gupta, Aarti, Kanade, Takeo, Malik, Sharad

Springer eBooks Computer Science, Springer Berlin Heidelberg

10 電子ブック Computer Aided Verification

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

5 電子ブック Computer Aided Verification

Bouajjani, Ahmed, Kanade, Takeo, Maler, Oded

Springer eBooks Computer Science, Springer Berlin Heidelberg

11 電子ブック Computer Aided Verification

Springer eBooks Computer Science, Springer International Publishing

6 電子ブック Computer Aided Verification

CAV (Conference), Etessami, Kousha, Kanade, Takeo, Rajamani, Sriram K.

Springer eBooks Computer Science, Springer Berlin Heidelberg

12 電子ブック Computer Aided Verification

Springer eBooks Computer Science, Springer International Publishing

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