01012cam2 22002531 450 SOBE0002926220210329101617.020121219d1981 |||||ita|0103 baitaIT<<2: L'>>età modernaPerugiaLibreria universitaria1981VI, 478 p.25 cmIn testa al frontespizio: Università degli studi di Perugia, Consiglio nazionale delle ricerche001SOBE000292602001 <<4: Il >>pubblico funzionario: modelli storici e comparativi2ITUNISOB20210329RICAUNISOBUNISOBFondo|De|Sanctis|F158497SOBE00029262M 102 Monografia moderna SBNMFondo|De|Sanctis|F001167-4.2CON158497DeSanctisFdonoNmenleUNISOBUNISOB20121219113414.020210329101617.0SpinosaPer le modalità di consultazione vedi homepage della Biblioteca link FondiEtà moderna63337UNISOB03107nam 22007335 450 991042770520332120251113210300.03-030-58167-510.1007/978-3-030-58167-1(CKB)4100000011508873(DE-He213)978-3-030-58167-1(MiAaPQ)EBC6381021(PPN)258060425(EXLCZ)99410000001150887320201016d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSystems Modelling and Management First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /edited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XII, 197 p. 28 illus., 1 illus. in color.) Communications in Computer and Information Science,1865-0937 ;12623-030-58166-7 Verification and Validation -- Applications -- Methods, Techniques and Tools.This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.Communications in Computer and Information Science,1865-0937 ;1262Software engineeringProgramming languages (Electronic computers)Computer systemsComputer programmingArtificial intelligenceMicroprogrammingSoftware EngineeringProgramming LanguageComputer System ImplementationProgramming TechniquesArtificial IntelligenceControl Structures and MicroprogrammingSoftware engineering.Programming languages (Electronic computers).Computer systems.Computer programming.Artificial intelligence.Microprogramming.Software Engineering.Programming Language.Computer System Implementation.Programming Techniques.Artificial Intelligence.Control Structures and Microprogramming.005.1Babur OnderDenil JoachimVogel-Heuser BirgitMiAaPQMiAaPQMiAaPQBOOK9910427705203321Systems modelling and management2139672UNINA