LEADER 01273nam 2200349 n 450 001 996390480103316 005 20221108050930.0 035 $a(CKB)1000000000652905 035 $a(EEBO)2240874891 035 $a(UnM)99839784 035 $a(EXLCZ)991000000000652905 100 $a19910109d1633 uy | 101 0 $aeng 135 $aurbn#|||a|bb| 200 10$aIf you know not me, you know no body. The second part. VVith the building of the Royall Exchange. And the famous victory of Queene Elizabeth: anno 1588$b[electronic resource] 210 $aLondon $cPrinted for Nathanael Butter$d1633 215 $a[80] p 300 $aBy Thomas Heywood. 300 $aPartly in verse. 300 $aWith a title-page woodcut portrait. 300 $aSignatures: A-K⁴. 300 $aReproduction of the original in the Bodleian Library. 330 $aeebo-0014 700 $aHeywood$b Thomas$fapproximately 1574-1641.$01001092 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390480103316 996 $aIf you know not me, you know no body. The second part. VVith the building of the Royall Exchange. And the famous victory of Queene Elizabeth: anno 1588$92324938 997 $aUNISA 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