＜電子ブック＞
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 202
| 出版者 | : Springer International Publishing |
|---|---|
| 出版年 | 2021 |
| 著者標目 | Groote, Jan Friso |
| 件 名 | HILCC:Computer Science |
所蔵情報を非表示
| 電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 電子ブック | オンライン | 電子ブック |
|
Ebook Central - Open Access Complete |
|
|
電子リソース |
|
SEB0381698 | |||
| 電子ブック | オンライン | 電子ブック |
|
DOAB: Directory of Open Access Books |
|
|
電子リソース |
|
SEB1355223 |
書誌詳細を非表示
| データ種別 | 電子ブック |
|---|---|
| 書誌ID | 4000391460 |