Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Dastani, Mehdi
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hindriks, Koen V, Meyer, John-Jules Charles
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer Science+Business Media, LLC 2010
Θέματα:	Computer science Software engineering Electronic data processing Computer Science Software Engineering/Programming and Operating Systems Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Software Engineering Computing Methodologies Τεχνητή νοημοσύνη
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4419-6984-2

Παρόμοια τεκμήρια

Multi-Agent Programming Languages, Platforms and Applications
ανά: Bordini, Rafael H.
Έκδοση: (2005)

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ανά: Liu, Jiming
Έκδοση: (2005)

Agent Intelligence Through Data Mining
ανά: Symeonidis, Andreas L.
Έκδοση: (2005)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ανά: Ding, Chen
Έκδοση: (2010)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ανά: Braubach, Lars
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Ontologies for Agents: Theory and Experiences
ανά: Tamma, Valentina
Έκδοση: (2005)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ανά: Beckert, Bernhard
Έκδοση: (2006)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
ανά: Touili, Tayssir
Έκδοση: (2010)

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
ανά: McBurney, Peter
Έκδοση: (2010)

Architecture-Based Design of Multi-Agent Systems
ανά: Weyns, Danny
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Information Processing and Security Systems
ανά: Saeed, Khalid
Έκδοση: (2005)

Agent-Based Service-Oriented Computing
ανά: Griffiths, Nathan
Έκδοση: (2010)

Ontologies for Software Engineering and Software Technology
ανά: Calero, Coral
Έκδοση: (2006)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ανά: Parsons, Jeffrey
Έκδοση: (2010)

Thriving Systems Theory and Metaphor-Driven Modeling
ανά: Waguespack, Leslie J
Έκδοση: (2010)

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ανά: Siegler, Simon
Έκδοση: (2010)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ανά: Escobar, Santiago
Έκδοση: (2010)

Agile Software Construction
ανά: Hunt, John
Έκδοση: (2006)

Field-Based Coordination for Pervasive Multiagent Systems
ανά: Mamei, Marco
Έκδοση: (2006)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ανά: Blume, Matthias
Έκδοση: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ανά: Butterfield, Andrew
Έκδοση: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ανά: Qin, Shengchao
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ανά: FermΓΌller, Christian G
Έκδοση: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ανά: Leavens, Gary T
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
ανά: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Έκδοση: (2010)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ανά: Schreye, Danny
Έκδοση: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ανά: Puppis, Gabriele
Έκδοση: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

Composing Software Components A Software-testing Perspective
ανά: Hamlet, Dick
Έκδοση: (2010)

Automatic Quantum Computer Programming A Genetic Programming Approach
ανά: Spector, Lee
Έκδοση: (2007)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
ανά: Buttazzo, Giorgio C.
Έκδοση: (2005)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings
ανά: Bolduc, Claude
Έκδοση: (2010)

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Kaufmann, Matt
Έκδοση: (2010)

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
ανά: Schmid, Ute
Έκδοση: (2010)

A Process Algebraic Approach to Software Architecture Design
ανά: Aldini, Alessandro
Έκδοση: (2010)

Genetic Programming Theory and Practice VII
ανά: Riolo, Rick
Έκδοση: (2010)

Genetic Programming Theory and Practice II
ανά: OβReilly, Una-May
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_sk8vicrqm92tm2vun8af0ru03s