Foundations and Applications of Security Analysis | 東京工業大学附属図書館蔵書検索

>> Google Books

Foundations and Applications of Security Analysis / Pierpaolo Degano, Takeo Kanade, Luca Vigan?

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642034589 [3642034586]
9783642034596 [3642034594]

書誌ID:

OB00355119

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Foundations and Applications of Security Analysis Degano, Pierpaolo, Kanade, Takeo, Viganò, Luca SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Formal Aspects in Security and Trust Degano, Pierpaolo, Guttman, Joshua, Kanade, Takeo, Martinelli, Fabio, Guttman, Joshua D. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Formal Aspects in Security and Trust Degano, Pierpaolo, Guttman, Joshua D., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Computational Methods in Systems Biology Degano, Pierpaolo, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Aspects in Security and Trust Degano, Pierpaolo, Guttman, Joshua, Kanade, Takeo, Martinelli, Fabio Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Principles of Security and Trust Frank Piessens, Luca Vigan? Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Aspects of Security and Trust Degano, Pierpaolo, Etalle, Sandro, Guttman, Joshua, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Formal Aspects in Security and Trust Degano, Pierpaolo, Guttman, Joshua D., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Aspects of Security and Trust Degano, Pierpaolo, Etalle, Sandro, Guttman, Joshua, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Computational Methods in Systems Biology Degano, Pierpaolo, Gorrieri, Roberto, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12