LEADER 01385nam0-22004571i-450- 001 990001499610403321 005 20090331101008.0 010 $a88-7959-171-1 035 $a000149961 035 $aFED01000149961 035 $a(Aleph)000149961FED01 035 $a000149961 100 $a20030117d2000----km-y0itay50------ba 101 1 $aita$ceng 102 $aIT 105 $aa---a---001yy 200 1 $aMicrobiologia$fPatrick R. Murray, Ken S. Rosenthal, George S. Kobayashi, Michael A. Pfaller$ged. italiana a cura di Prof. Giorgio Palù ... [et al.] 210 $aNapoli$cEdises$dc2000 215 $ax, 783 p.$cill. (col.)$d27 cm 454 0$12001$aMedical microbiology$1205$a3rd ed.$1210$dc1998$957049 610 0 $aMicrobiologia 676 $a579$v21 676 $a616.01 702 1$aKobayashi,$bGeorge S. 702 1$aMurray,$bPatrick R. 702 1$aPalù,$bGiorgio 702 1$aPfaller,$bMichael A. 702 1$aRosenthal,$bKen S. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001499610403321 952 $a90 I 1a 23$b1851$fFMEBC 952 $a90 I 1a 25$b1916$fFMEBC 952 $a90 I 1a 26$b1946$fFMEBC 952 $a579-MUR-(1$b2341$fSC1 952 $a579-MUR-(1 a$b2342$fSC1 952 $a579-MUR-(1 b$b2343$fSC1 959 $aSC1 959 $aFMEBC 996 $aMedical microbiology$957049 997 $aUNINA LEADER 03577nam 22007095 450 001 9910484506703321 005 20251226202824.0 010 $a3-319-26184-3 024 7 $a10.1007/978-3-319-26184-3 035 $a(CKB)4340000000001201 035 $a(SSID)ssj0001585081 035 $a(PQKBManifestationID)16263472 035 $a(PQKBTitleCode)TC0001585081 035 $a(PQKBWorkID)14865089 035 $a(PQKB)10164837 035 $a(DE-He213)978-3-319-26184-3 035 $a(MiAaPQ)EBC6297079 035 $a(MiAaPQ)EBC5610505 035 $a(Au-PeEL)EBL5610505 035 $a(OCoLC)932169833 035 $a(PPN)190529369 035 $a(EXLCZ)994340000000001201 100 $a20151114d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering Multi-Agent Systems $eThird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /$fedited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (X, 231 p. 55 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9318 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-26183-5 320 $aIncludes bibliographical references and index. 327 $aProgramming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports. 330 $aThis book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015.  The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 submissions. The focus of the papers is on the topics such as: programming frameworks, languages, models and abstractions for MAS; formal methods and declarative technologies for specification, verification and engineering of MAS; MAS software engineering methodologies and techniques, and development concerns; interoperability and integration; tools and testbeds; MAS techniques; and empirical studies and (industrial) experience reports. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9318 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer programming 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aProgramming Techniques 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 676 $a006.3 702 $aBaldoni$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBaresi$b Luciano$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDastani$b Mehdi$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484506703321 996 $aEngineering Multi-Agent Systems$92803788 997 $aUNINA