000 02354nam a22003975i 4500
999 _c383258
_d383258
_x1
001 383258
003 ES-MaUEC
005 20230102122100.0
006 a||||fo|||| 00| 0
007 cr nn 008mamaa
008 221112s2022 sz | s |1|| 0|eng d
020 _a9783031019845
024 7 _a10.1007/978-3-031-01984-5
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aTK5
_b2022 EB
245 0 0 _aElectrical and Computer Engineering :
_bFirst International Congress, ICECENG 2022, Virtual Event, February 9-12, 2022, Proceedings
_cedited by Muhammet Nuri Seyman
250 _aFirst edition 2022
264 1 _aCham
_bSpringer International Publising
_c2022
300 _a1 recurso en línea (X, 217 páginas)
_b117 ilustraciones, 92 ilustraciones a color
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
490 0 _aLecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
_x1867-822X
_v436
520 _aThis book constitutes the refereed proceedings of the First International Congress, ICECENG 2022, held in February 2022. Due to COVID-19 pandemic the conference was held virtually. The 15 full and 2 short papers were selected from 48 submissions and are organized in 4 main tracks: technology trends, artificial intelligence, computing and security. The papers detail the application of formal methods to the construction and analysis of models describing technological processes at both micro and macro levels.
988 _aSpringer_Computer_2022
650 7 _2embne
_9138109
_aElectrotecnia
_vCongresos y asambleas
700 1 _aSeyman, Muhammet Nuri
_eeditor literario
_0(orcid)0000-0002-8763-7834
_1https://orcid.org/0000-0002-8763-7834
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
776 0 8 _iPrinted edition:
_z9783031019838
776 0 8 _iPrinted edition:
_z9783031019852
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-01984-5
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b11/2022
_dz
_eIG
_zSI