Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3158401 obálek a 951255 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Formal approaches to agent-based systems :second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
Rok: 2003
ISBN: 9783540406655
OKCZID: 110099651
Citace (dle ČSN ISO 690):
HINCHEY, Michael G., ed. Formal approaches to agent-based systems: second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers. Berlin: Springer, 2003. IX, 295 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 2699.
Anotace
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.