LEADER 01303cam0-2200325---450- 001 990004337790403321 005 20150921101821.0 035 $a000433779 035 $aFED01000433779 035 $a(Aleph)000433779FED01 035 $a000433779 100 $a19990604d1991----km-y0itay50------ba 101 0 $afre$aeng$agre 102 $aGR 105 $aa-------00--- 200 1 $aRelations et influences réciproques entre Grecs et Bulgares, XVIIIe-XXe siècle$eart et littérature, linguistique, idées politiques et structures sociales$ecinquième colloque$forganisé par l'Institut des études balkaniques de Thessaloniki et l'Institut d'études balkaniques de l'Académie bulgare des sciences à Thessaloniki et Jannina, 27-31 mars 1988 210 $aThessaloniki$cInstitute for balkan studies$d1991 215 $a563 p.$d24 cm 225 1 $aInstitute for Balkan studies$v225 610 0 $aGrecia e Bulgaria$aSec. 18.-20. 676 $a949.5$v22$zita 676 $a949.9$v22$zita 712 02$aInstitut d'études balkaniques 712 02$al'Institut d'études balkaniques de l'Académie bulgare des sciences 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004337790403321 952 $a949.5 CONV Salonicco 1988$bBibl.13875$fFLFBC 959 $aFLFBC 997 $aUNINA LEADER 01211nam2-2200337---450- 001 990003501060203316 005 20110222114805.0 035 $a000350106 035 $aUSA01000350106 035 $a(ALEPH)000350106USA01 035 $a000350106 100 $a20110222d1959----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> Resoconto delle sedute, memorie originali: cinquantacinquesimo congresso$eRoma, 12-13-14-15 ottobre 1953$fpubblicati dal Comitato Direttivo e redatti a cura del segretario dott. Giuseppe Bendandi 210 $aRoma$cE.M.E.S.$d1959 215 $aLXV, 578 p.$d25 cm 461 1$1001000349909$12001$aArchivio ed atti della società italiana di chirurgia 606 0 $aChirurgia$xAtti di congressi$yRoma$z1953$2BNCF 676 $a617 702 1$aBENDANDI,$bGiuseppe 710 02$aSocietà italiana di chirurgia$0318644 801 0$aIT$bsalbc$gISBD 912 $a990003501060203316 951 $aFDC 285/14$b817 Med.$cFDC 959 $aBK 969 $aMED 979 $aCIANATIEMP$b90$c20110222$lUSA01$h1148 996 $aResoconto delle sedute, memorie originali: cinquantacinquesimo congresso$91111675 997 $aUNISA LEADER 03523nam 22007815 450 001 9910349397403321 005 20251225205422.0 010 $a9783030024505 010 $a3030024504 024 7 $a10.1007/978-3-030-02450-5 035 $a(CKB)4100000007110727 035 $a(DE-He213)978-3-030-02450-5 035 $a(MiAaPQ)EBC6285360 035 $a(PPN)232470545 035 $a(EXLCZ)994100000007110727 100 $a20181010d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /$fedited by Jing Sun, Meng Sun 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXII, 474 p. 115 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11232 311 08$a9783030024499 311 08$a3030024490 327 $aFormal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. 330 $aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11232 606 $aSoftware engineering 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aProfessions 606 $aMachine theory 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aThe Computing Profession 606 $aFormal Languages and Automata Theory 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aProfessions. 615 0$aMachine theory. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 615 24$aThe Computing Profession. 615 24$aFormal Languages and Automata Theory. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 676 $a004.0151 702 $aSun$b Jing$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSun$b Meng$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349397403321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA