LEADER 00900nam0-22002891i-450- 001 990005669190403321 005 20050926095601.0 035 $a000566919 035 $aFED01000566919 035 $a(Aleph)000566919FED01 035 $a000566919 100 $a19990604d1981----km-y0itay50------ba 101 0 $afre 105 $ay-------001yy 200 1 $aBabeuf et ses compagnons de Route$fRobert Legrand$gAvant-propos d'Albert Saboul 210 $aParis$cSociètT des Études Robespierristes$d1981 215 $aIX, 452 p.$d25 cm 225 1 $aBibliothèque d'Histoire rèvolutionnair. 3e sèrie$v20 676 $a944.04092$v21$zita 700 1$aLegrand,$bRobert$0218068 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005669190403321 952 $a944.04 BAB 1$bBIBL. 59600$fFLFBC 959 $aFLFBC 996 $aBabeuf et ses compagnons de Route$9601528 997 $aUNINA LEADER 01181cam0-22003851i-450- 001 990003055290403321 005 20050222145901.0 010 $a88-13-19327-0 035 $a000305529 035 $aFED01000305529 035 $a(Aleph)000305529FED01 035 $a000305529 100 $a20030910d1995----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aEconomia delle interdipendenze produttive$euna introduzione all'analisi input-output$fP. Costa, G. Marangoni$gprefazione di Wassily Leontief 210 $aPadova$cCedam$d1995 215 $aXV, 375 p.$d24 cm 610 0 $aAnalisi delle interdipendenze strutturali 676 $a339.23015118 700 1$aCosta,$bPaolo$f<1943- >$053754 701 1$aMarangoni,$bGiandemetrio$0120442 702 1$aLeontief,$bWassily W.$f<1906-1999> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003055290403321 952 $aF/3.01 COS$b17792$fSES 952 $aC6.74$b6356$fDECTS 952 $aVI A 1330$b26465$fFSPBC 959 $aSES 959 $aDECTS 959 $aFSPBC 996 $aEconomia delle interdipendenze produttive$9465937 997 $aUNINA LEADER 02514nam 2200481 450 001 9910427707203321 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 $a9910427707203321 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNINA