Filter by
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Multi-Agent Systems:12th European Conference, EUMAS 2014, Prague, Czech Repub…
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and tea…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17129-6
- Collation
- XVII, 426
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Models of Strategic Reasoning:Logics, Games, and Communities
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48539-2
- Collation
- XI, 333
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography