LEADER 01314nam 22003973 450 001 9910511424203321 005 20210901203100.0 010 $a3-95948-953-6 035 $a(CKB)4100000007200191 035 $a(MiAaPQ)EBC5606915 035 $a(Au-PeEL)EBL5606915 035 $a(OCoLC)1078575129 035 $a(EXLCZ)994100000007200191 100 $a20210901d2018 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a"Diesem Regime durfte man keine Denkma?ler bauen ..." $eDer Briefwechsel zwischen Arno Breker und Albert Buesche 210 1$aNordhausen :$cTraugott Bautz Verlag,$d2018. 210 4$d©2018. 215 $a1 online resource (217 pages) 311 $a3-95948-349-X 327 $aCover -- Titelei -- Impressum -- Einleitung -- Zur Edition -- Beginn des Briefwechsels -- Anmerkungen. 517 $a"Diesem Regime durfte man keine Denkmäler bauen ..." 608 $aElectronic books. 700 $aBreker$b Carola$01067912 701 $aHackel$b Rainer$01029913 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910511424203321 996 $a"Diesem Regime durfte man keine Denkma?ler bauen ..."$92552189 997 $aUNINA LEADER 03391nam 2200961z- 450 001 9910576884903321 005 20220621 035 $a(CKB)5720000000008325 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/84452 035 $a(oapen)doab84452 035 $a(EXLCZ)995720000000008325 100 $a20202206d2022 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aMathematics in Software Reliability and Quality Assurance 210 $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022 215 $a1 online resource (218 p.) 311 08$a3-0365-3799-6 311 08$a3-0365-3800-3 330 $aThis monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment. 606 $aHistory of engineering and technology$2bicssc 606 $aTechnology: general issues$2bicssc 610 $abisimulation 610 $abranch coverage 610 $acheckpointing 610 $acoalgebra 610 $acomposition 610 $aconcurrent software systems 610 $aconsensus protocol 610 $across-project prediction 610 $adata-flows 610 $adeep learning 610 $aEM algorithm 610 $aeventual property 610 $afeature selection 610 $afuzzy automata 610 $afuzzy language 610 $ageneralized failure count data 610 $agenetic algorithm 610 $ahuman-error factors 610 $aisland-based model 610 $along short-term memory 610 $aMaude 610 $amaximum likelihood estimation 610 $ametamorphic relations 610 $ametamorphic testing 610 $amodel checking 610 $amodel-checking 610 $amoth flame optimization 610 $amutation testing 610 $aNervos CKB 610 $anon-homogeneous Poisson process 610 $aobject-oriented 610 $aoptimal rejuvenation-trigger timing 610 $apetri net 610 $aphase expansion 610 $aproject similarity and clustering 610 $aquality assessment 610 $aregression testing 610 $asearch-based test case generation 610 $asoftware defect prediction 610 $asoftware rejuvenation 610 $asoftware reliability 610 $asoftware reliability model 610 $aspecification-based testing 610 $asteady-state system availability 610 $atest data generation 610 $atextual question answering 610 $aUPPAAL 610 $avisual question answering 615 7$aHistory of engineering and technology 615 7$aTechnology: general issues 700 $aDohi$b Tadashi$4edt$01103518 702 $aLiu$b Shaoying$4edt 702 $aDohi$b Tadashi$4oth 702 $aLiu$b Shaoying$4oth 906 $aBOOK 912 $a9910576884903321 996 $aMathematics in Software Reliability and Quality Assurance$93035625 997 $aUNINA LEADER 03303nam 22007575 450 001 9910416082403321 005 20251225183502.0 010 $a981-15-7530-4 024 7 $a10.1007/978-981-15-7530-3 035 $a(CKB)4100000011384212 035 $a(DE-He213)978-981-15-7530-3 035 $a(MiAaPQ)EBC6301419 035 $a(PPN)258060379 035 $a(EXLCZ)994100000011384212 100 $a20200813d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBig Data and Security $eFirst International Conference, ICBDS 2019, Nanjing, China, December 20?22, 2019, Revised Selected Papers /$fedited by Yuan Tian, Tinghuai Ma, Muhammad Khurram Khan 205 $a1st ed. 2020. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2020. 215 $a1 online resource (XV, 656 p. 244 illus., 159 illus. in color.) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1210 311 08$a981-15-7529-0 327 $aCybersecurity & Privacy -- Big Data -- Blockchain & Internet of Things -- Security in Cloud and Fog Computing -- Artificial Intelligence/ Machine Learning Security. 330 $aThis book constitutes the refereed proceedings of the First International Conference on Big Data and Security, ICBDS 2019, held in Nanjing, China, in December 2019. The 37 revised full papers and 12 short papers were carefully reviewed and selected out of 251 submissions. The papers included in this book cover topics in cybersecurity & privacy, big data, blockchain & internet of things, security in cloud and fog computing, and artificial intelligence/ machine learning security. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1210 606 $aDatabase management 606 $aComputer networks 606 $aComputer systems 606 $aCryptography 606 $aData encryption (Computer science) 606 $aData protection 606 $aArtificial intelligence 606 $aDatabase Management System 606 $aComputer Communication Networks 606 $aComputer System Implementation 606 $aCryptology 606 $aData and Information Security 606 $aArtificial Intelligence 615 0$aDatabase management. 615 0$aComputer networks. 615 0$aComputer systems. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aData protection. 615 0$aArtificial intelligence. 615 14$aDatabase Management System. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 615 24$aCryptology. 615 24$aData and Information Security. 615 24$aArtificial Intelligence. 676 $a005.8 702 $aTian$b Yuan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMa$b Tinghuai$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKhan$b Muhammad Khurram$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910416082403321 996 $aBig Data and Security$92200131 997 $aUNINA