| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIASUN0016305 |
|
|
Autore |
Finzi, Bruno |
|
|
Titolo |
Esercizi di meccanica razionale / Bruno Finzi, Paolo Udeschini |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[4. ed] |
|
|
|
|
|
Descrizione fisica |
|
VIII, 563 p. : ill. ; 24 cm. |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
70-XX - Mechanics of particles and systems [MSC 2020] |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465760903316 |
|
|
Titolo |
Programming multi-agent systems : 5th international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007 : revised and invited papers / / Mehdi Dastani [and three others] (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 267 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 4908 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Intelligent agents (Computer software) |
Computer programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Decentralized Business Process Modeling and |
|
|
|
|
|
|
|
|
|
|
|
Enactment: ICT Architecture Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions -- Interoperability for Bayesian Agents in the Semantic Web -- The A&A Programming Model and Technology for Developing Agent Environments in MAS -- A Practical Agent Programming Language -- A Common Semantic Basis for BDI Languages -- Adding Structure to Agent Programming Languages -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition -- Developing a Team of Gold Miners Using Jason -- Going for Gold with 2APL -- Collecting Gold -- JIAC IV in Multi-Agent Programming Contest 2007 -- An Agent Team Based on FLUX for the ProMAS Contest 2007. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. The 11 revised full papers presented together with 2 invited articles address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS. |
|
|
|
|
|
|
|
| |