001446689 000__ 02803cam\a2200541\a\4500
001446689 001__ 1446689
001446689 003__ OCoLC
001446689 005__ 20230310004012.0
001446689 006__ m\\\\\o\\d\\\\\\\\
001446689 007__ cr\un\nnnunnun
001446689 008__ 220514s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001446689 019__ $$a1316696953$$a1316775860$$a1319217642
001446689 020__ $$a9783031019845$$q(electronic bk.)
001446689 020__ $$a3031019849$$q(electronic bk.)
001446689 020__ $$z9783031019838$$q(print)
001446689 020__ $$z3031019830
001446689 0247_ $$a10.1007/978-3-031-01984-5$$2doi
001446689 035__ $$aSP(OCoLC)1317328219
001446689 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCF$$dOCLCQ
001446689 049__ $$aISEA
001446689 050_4 $$aTK5
001446689 08204 $$a621.3$$223/eng/20220524
001446689 1112_ $$aICECENG (Conference)$$n(1st :$$d2022 :$$cOnline)
001446689 24510 $$aElectrical and computer engineering :$$bfirst International Congress, ICECENG 2022, Virtual event, February 9-12, 2022, Proceedings /$$cMuhammet Nuri Seyman (ed.).
001446689 2463_ $$aICECENG 2022
001446689 260__ $$aCham, Switzerland :$$bSpringer,$$c2022.
001446689 300__ $$a1 online resource (222 pages)
001446689 336__ $$atext$$btxt$$2rdacontent
001446689 337__ $$acomputer$$bc$$2rdamedia
001446689 338__ $$aonline resource$$bcr$$2rdacarrier
001446689 4901_ $$aLecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ;$$vv. 436
001446689 500__ $$aIncludes author index.
001446689 506__ $$aAccess limited to authorized users.
001446689 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.
001446689 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 24, 2022).
001446689 650_0 $$aElectrical engineering$$vCongresses.
001446689 650_0 $$aComputer engineering$$vCongresses.
001446689 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001446689 655_0 $$aElectronic books.
001446689 7001_ $$aSeyman, Muhammet Nuri,$$eeditor.
001446689 77608 $$iPrint version:$$aSeyman, Muhammet Nuri.$$tElectrical and Computer Engineering.$$dCham : Springer International Publishing AG, ©2022$$z9783031019838
001446689 830_0 $$aLecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ;$$v436.
001446689 852__ $$bebk
001446689 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-01984-5$$zOnline Access$$91397441.1
001446689 909CO $$ooai:library.usi.edu:1446689$$pGLOBAL_SET
001446689 980__ $$aBIB
001446689 980__ $$aEBOOK
001446689 982__ $$aEbook
001446689 983__ $$aOnline
001446689 994__ $$a92$$bISE