LEADER 02018cam1-2200529---450 001 990000427060203316 005 20200221092158.0 035 $a0042706 035 $aUSA010042706 035 $a(ALEPH)000042706USA01 035 $a0042706 100 $a20160727g16219999km-y0itay50------ba 101 0 $alat 102 $aIT 140 $ay---y--- da------yyye 0010-- 200 1 $aD. Iustiniani imperatoris Corpus iuris ciuilis prudentum responsa, Caesarumque rescripta complectens, quinque tomis distinctum, multis legibus auctum. Additionibusque iurisconsult. Cuiacij, Duareni, Gothofredi, Iacobi Anelli de Bottis, ac Augustini Carauitae adnotationibus illustratum. Et multis erroribus expurgatum. Quibus adiectus fuit sextus tomus 205 $aNouissima editio Iuntarum 210 $aVenetiis$cApud Iuntas$d1621- 215 $avolumi$d4º 306 $aMarca (U374) sul frontespizio generale 307 $aCorsivo, greco, romano 349 $aGiglio fiorentino e iniziali L.A. inseriti nella parte inferiore della cornice del frontespizio 500 11$aCorpus iuris civilis 620 $aItalia$bVenezia 702 1$aCUJAS,$bJacques 702 1$aDUAREN,$bFrançois 702 1$aGODEFROY,$bDenis$f<1549-1622> 702 1$aDE BOTTIS,$bJacopo Anello 702 1$aCARAVITA,$bAgostino 712 02$a Giunta$c[editore] 801 0$aIT$bsalbc$gISBD 912 $a990000427060203316 951 $aFA.III.C. 3/$bUMA$cFA.III. 959 $aA 969 $aANT 979 $aPATTY$b90$c20010504$lUSA01$h1510 979 $aPATTY$b90$c20010504$lUSA01$h1511 979 $aPATTY$b90$c20011107$lUSA01$h1256 979 $aPATTY$b90$c20011113$lUSA01$h1200 979 $c20020403$lUSA01$h1651 979 $aPATRY$b90$c20040406$lUSA01$h1630 979 $aCOPAT6$b90$c20051129$lUSA01$h0856 979 $aANNAMARIA$b90$c20160727$lUSA01$h1251 979 $aANNAMARIA$b90$c20160727$lUSA01$h1416 979 $aANNAMARIA$b90$c20160727$lUSA01$h1416 996 $aCorpus$91323851 997 $aUNISA LEADER 05737nam 22008895 450 001 9910485139103321 005 20251226202926.0 010 $a3-642-04143-4 024 7 $a10.1007/978-3-642-04143-3 035 $a(CKB)1000000000784743 035 $a(SSID)ssj0000319060 035 $a(PQKBManifestationID)11243808 035 $a(PQKBTitleCode)TC0000319060 035 $a(PQKBWorkID)10337232 035 $a(PQKB)10922893 035 $a(DE-He213)978-3-642-04143-3 035 $a(MiAaPQ)EBC3064567 035 $a(PPN)139955399 035 $a(EXLCZ)991000000000784743 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMultiagent System Technologies $e7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings /$fedited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIII, 290 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5774 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-04142-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Industrial Application of Agent Systems: Lessons Learned and Future Challenges -- Full Papers -- Multi-Agent Navigation Using Path-Based Vector Fields -- Verification of Epistemic Properties in Probabilistic Multi-Agent Systems -- GOAL as a Planning Formalism -- Towards Pattern-Oriented Design of Agent-Based Simulation Models -- Multi Criteria Decision Methods for Coordinating Case-Based Agents -- Agent Cooperation for Monitoring and Diagnosing a MAP -- Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems -- A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents -- Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises -- Embodied Organisations in MAS Environments -- MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks -- Towards Reactive Scheduling for Large-Scale Virtual Power Plants -- Concurrently Decomposable Constraint Systems -- SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit -- Short Papers -- Towards a Verification Framework for Communicating Rational Agents -- Designing Organized Multiagent Systems through MDPs -- A Reference Architecture for Modelling of Emotional Agent Systems -- Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems -- Modeling Tools for Platform Specific Design of Multi-Agent Systems -- L2-SVM Training with Distributed Data -- Framework for Dynamic Life Critical Situations Using Agents -- Unifying JIAC Agent Development with AWE -- Formalizing ARTIS Agent Model Using RT-Maude -- Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments -- Exhibition Papers -- Requirements and Tools for the Debugging of Multi-Agent Systems -- SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems -- An Architecture for Simulating Internet-of-Services Economies -- Applying JIAC V to Real World Problems: The MAMS Case -- Agent-Based Semantic Search at motoso.de. 330 $aThis book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5774 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer science 606 $aComputer programming 606 $aComputer simulation 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aComputer Modelling 606 $aComputer Engineering and Networks 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aComputer simulation. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aComputer Modelling. 615 24$aComputer Engineering and Networks. 676 $a006.3 686 $aDAT 709f$2stub 686 $aSS 4800$2rvk 701 $aBraubach$b Lars$01751946 701 $aHoek$b Wiebe$01756371 701 $aPetta$b Paolo$0234579 701 $aPokahr$b Alexander$01756372 712 12$aMATES 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485139103321 996 $aMultiagent system technologies$94193614 997 $aUNINA