>> Google Books

Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / Akash. Lal, Stefano Tonetta

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Cham : Springer International Publishing AG, 2023
著者名:
ISBN:
9783031258022 [3031258029]
9783031258039 [3031258037]
書誌ID:
OB00516379
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los …

Bloem, Roderick., Dimitrova, Rayna, Fan, Chuchu, Sharygina, Natasha

SpringerLink Books - AutoHoldings, Springer International Publishing AG
7 電子ブック Computer Science and Education : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Hong, Wenxing., Weng, Yang

SpringerLink Books - AutoHoldings, Springer
2 電子ブック Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers

De Stefano, Claudio., Fontanella, Francesco, Vanneschi, Leonardo

SpringerLink Books - AutoHoldings, Springer
8 電子ブック Computer Science and Education : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Hong, Wenxing., Weng, Yang

SpringerLink Books - AutoHoldings, Springer
3 電子ブック Modelling and Simulation for Autonomous Systems : 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Mazal, Jan., Bruzzone, Agostino, Fagiolini, Adriano, Lo Storto, Stefano, Neumann, Vlastimil, Pickl, Stefan, Stodola, …

SpringerLink Books - AutoHoldings, Springer International Publishing AG
9 電子ブック Computer Science and Education : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Hong, Wenxing., Weng, Yang

SpringerLink Books - AutoHoldings, Springer
4 電子ブック Bio-Inspired Computing: Theories and Applications: 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers

Linqiang Pan, Li, Lianghao, Lin, Jianqing, Zhao, Dongming

SpringerLink Books - AutoHoldings, Springer Nature
10 電子ブック Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

Hämmerli, Bernhard., Helmbrecht, Udo, Hommel, Wolfgang, Kunczik, Leonhard, Pickl, Stefan

SpringerLink Books - AutoHoldings, Springer International Publishing AG
5 電子ブック Smart Multimedia: Third International Conference, ICSM 2022, Marseille, France, August 25–27, 2022, Revised Selected Papers

Stefano Berretti, Su, Guan-Ming

SpringerLink Books - AutoHoldings, Springer Nature
11 電子ブック Web Information Systems and Technologies : 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers

Marchiori, Massimo., Domínguez Mayo, Francisco José, Filipe, Joaquim

SpringerLink Books - AutoHoldings, Springer
6 電子ブック Cognitive Systems and Information Processing : 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

Sun, Fuchun., Cangelosi, Angelo, Fang, Bin, Liu, Huaping, Yu, Yuanlong, Zhang, JianWei

SpringerLink Books - AutoHoldings, Springer
12 電子ブック Evaluation of Novel Approaches to Software Engineering : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Kaindl, Hermann.

SpringerLink Books - AutoHoldings, Springer International Publishing AG
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12