LEADER 01604nam 2200397Ia 450 001 996396632903316 005 20200824132622.0 035 $a(CKB)4940000000056975 035 $a(EEBO)2248562302 035 $a(OCoLC)ocm12270860e 035 $a(OCoLC)12270860 035 $a(EXLCZ)994940000000056975 100 $a19850716d1679 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe legacy of the Right Reverend Father in God, Herbert Lord Bishop of Hereford, to his diocess, or, A short determination of all controversies we have with the papists, by Gods holy word$b[electronic resource] 205 $aThe second impression corrected, with additions by the author. 210 $aLondon $cPrinted for Charles Harper ...$d1679 215 $a[10], 125, [1] p 300 $aReproduction of original in Huntington Library. 300 $a"A supplement to the preceding sermons. Together with a tract concerning the ... Lord's Supper" has special title page. 300 $aAdvertisement: p. [1] at end. 330 $aeebo-0113 606 $aSermons, English$y17th century 606 $aLord's Supper 615 0$aSermons, English 615 0$aLord's Supper. 700 $aCroft$b Herbert$f1603-1691.$01008176 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996396632903316 996 $aThe legacy of the Right Reverend Father in God, Herbert, Lord Bishop of Hereford, to his diocess, or, A short determination of all controversies we have with the papists, by Gods holy word$92357830 997 $aUNISA LEADER 06408nam 22008775 450 001 996465336403316 005 20200702215517.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$b[electronic resource] $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 ;$v5774 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 ;$v5774 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputers 606 $aComputer programming 606 $aComputer simulation 606 $aComputer organization 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 608 $aHamburg (2009) 608 $aKongress. 608 $aHamburg (2009)$2swd 608 $aKongress.$2swd 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer programming. 615 0$aComputer simulation. 615 0$aComputer organization. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aProgramming Techniques. 615 24$aSimulation and Modeling. 615 24$aComputer Systems Organization and Communication Networks. 676 $a006.3 686 $aDAT 709f$2stub 686 $aSS 4800$2rvk 702 $aBraubach$b Lars$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan der Hoek$b Wiebe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPetta$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPokahr$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMATES 2009 906 $aBOOK 912 $a996465336403316 996 $aMultiagent System Technologies$9772329 997 $aUNISA