Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | 東京工業大学附属図書館蔵書検索

>> Google Books

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices / Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2005

著者名:

Huisman, Marieke

Lanet, Jean-Louis

Muntean, Traian

さらに 1 件

ISBN:

9783540242871 [3540242872]
9783540305699 [3540305696]

書誌ID:

OB00352788

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	INTERNATIONAL WORKSHOP, CASSIS 2004, MARSEILLE, FRANCE, MARCH 10-14, 2004, REVISED SELECTED PAPERS CONSTRUCTION & ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES
主題:	Information Technology - Software Engineering
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Barthe, Gilles, Burdy, Lilian, Huisman, Marieke, Kanade, Takeo, Lanet, Jean-Louis, Muntean, Traian SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	7 電子ブック Programming Languages and Systems Barthe, Gilles, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised … Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Barthe, Gilles, 1967-, Burdy, Lilian, … Springer	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on … Beyer, Marieke Huisman, Huisman, Marieke SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Barthe, Gilles, Grégoire, Benjamin, Huisman, Marieke, Kanade, Takeo, Lanet, Jean-Louis, Institut national de recherche … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on … Beyer, Marieke Huisman, Huisman, Marieke SpringerLink Books - AutoHoldings, Springer International Publishing
4 電子ブック Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Barthe, Gilles, Gr?goire, Benjamin, Huisman, Marieke, Kanade, Takeo, Lanet, Jean-Louis, Institut national de recherche … Springer eBooks Computer Science, Springer Berlin / Heidelberg	10 電子ブック Smart Card Research and Advanced Application Gollmann, Dieter, Iguchi-Cartigny, Julien, Kanade, Takeo, Lanet, Jean-Louis Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : … Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Barthe, Gilles, 1967-, Gregoire, Benjamin, … Springer	11 電子ブック Smart Card Research and Advanced Application Gollmann, Dieter, Iguchi-Cartigny, Julien, Kanade, Takeo, Lanet, Jean-Louis SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Programming Languages and Systems Barthe, Gilles, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Software Engineering and Formal Methods Barthe, Gilles, Kanade, Takeo, Pardo, Alberto, Schneider, Gerardo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12