Search Results for Artificial intelligence.

13.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74781-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Yazar

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99229-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV

Yazar

Frangi, Alejandro F. editor. (orcid)0000-0002-2675-528X Schnabel, Julia A. editor. Davatzikos, Christos. editor. (orcid)0000-0002-1025-8561 Alberola-López, Carlos. editor. (orcid)0000-0003-3684-0055 Fichtinger, Gabor. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00937-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Yazar

Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)