LEADER 02639cam0-22005291i-450- 001 990005763390403321 005 20140312100503.0 035 $a000576339 035 $aFED01000576339 035 $a(Aleph)000576339FED01 035 $a000576339 100 $a19990604g18271830km-y0itay50------ba 101 0 $alat 102 $aFR 140 $aa-------------------bb0----- 200 1 $aM.T. Ciceronis pars secunda sive Orationes omnes ad optimos codices et editionem J. Vict. Le Clerc recensitæ cum selectis veterum ac recentiorum notis curante er emendante N.E. Lemaire. Volumen primum [-sextum] 210 $aParisiis$ccolligebat Nicolaus Eligius Lemaire$d1827-1830$e[Parigi]$gexcudebat Firminus Didot, regis et gallicarum academiarum typographus 215 $a6 v.$d22 cm 225 1 $aBibliotheca classica Latina sive Collectio auctorum classicorum Latinorum cum notis et indicibus 300 $aColophon sul verso dell'occhietto 303 $aMarca editoriale non censita (iniziali NEL) sui front. 307 $a1.: XL, 614 p. ; 2.: [6], 670, [2] p. ; 3.: [6], 644 p.; 4.: xii, 648 p. ; 5.: [6], 654 p. ; 6.: xii, 647, [1] p. 312 $aTit. dell'occhietto: M.T. Ciceronis quæ extant omnia opera cum deperditorum fragmentis in quatuor partes divisa item indices quinque novi et absolutissimi 517 1 $aM.T. Ciceronis quæ extant omnia opera cum deperditorum fragmentis in quatuor partes divisa item indices quinque novi et absolutissimi 676 $a875.01$v22$zita 700 1$aCicero,$bMarcus Tullius$f<106 a.C.-43 a.C.>$082411 702 1$aLemaire,$bNicolas Eloi$f<1767-1832> 719 00$aLemaire,$bNicolas Eloi$4650 719 00$aDidot,$bFirmin$4610 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aAQ 912 $a990005763390403321 952 $aSG 870/BCL 8$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 9$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 10$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 11$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 12$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 13$bBIBL.29017$fFLFBC 952 $aSG 870/BCL 8 BIS$bBIBL.5752$fFLFBC 952 $aSG 870/BCL 9 BIS$bBIBL.5752$fFLFBC 952 $aSG 870/BCL 10 BIS$bBIBL.5752$fFLFBC 952 $aSG 870/BCL 11 BIS$bBIBL.5752$fFLFBC 952 $aSG 870/BCL 12 BIS$bBIBL.5752$fFLFBC 952 $aSG 870/BCL 13 BIS$bBIBL.5752$fFLFBC 959 $aFLFBC 996 $aM.T. Ciceronis pars secunda sive Orationes omnes ad optimos codices et editionem J. Vict. Le Clerc recensitæ cum selectis veterum ac recentiorum notis curante er emendante N.E. Lemaire. Volumen primum$9570600 997 $aUNINA LEADER 02512nam 2200481 450 001 996418291303316 005 20210228122121.0 010 $a3-030-59152-2 024 7 $a10.1007/978-3-030-59152-6 035 $a(CKB)4100000011505452 035 $a(DE-He213)978-3-030-59152-6 035 $a(MiAaPQ)EBC6371098 035 $a(PPN)255227795 035 $a(EXLCZ)994100000011505452 100 $a20210228d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAutomated technology for verification and analysis $e11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /$fDang Van Hung, Oleg Sokolsky 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12302 300 $aIncludes index. 311 $a3-030-59151-4 327 $aNeural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. 330 $aThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems. 410 0$aProgramming and Software Engineering ;$v12302 606 $aArtificial intelligence 615 0$aArtificial intelligence. 676 $a006.333 702 $aSokolsky$b Oleg 702 $aDang$b Hung Van$f1950- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418291303316 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNISA