Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Engineering Multi-Agent Systems

4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

eBook,eBook

Matteo Baldoni,Jörg P. Müller,Ingrid Nunes,Rym Zalila-Wenkstern

Springer Nature Proceedings Computer Science

Köp e-boken

580,13 kr

Du är i butiken för Sverige

Inte i Sverige? Välj butiken för ditt land för att se vilka böcker som är tillgängliga att köpa.

Välj butik

Köp nu

Varför läsa med oss?

Kobo ger bokälskare chansen att läsa mer.

Förhöjd läsupplevelse med våra Kobo-läsplattor

Omfattande och relevant bokkatalog

Kostnadsfri Kobo-läsapp

Synopsis

Kategorier

Om den här boken

Språk:English
ISBN:9783319509839
Utgivningsdatum:16 dec. 2016
Utgivare:Springer International Publishing

Impressum:Springer
Filformat:EPUB2
Filstorlek:2.75 MB
Nedladdningsalternativ:EPUB2 (Adobe DRM)

I denna serie

Engineering Multi-Agent Systems

Matteo Baldoni,Luciano Baresi,Mehdi Dastani

Principles and Practice of Multi-Agent Systems

Matteo Baldoni,Cristina Baroglio,Floris Bex,Floriana Grasso,Nancy Green,Mohammad-Reza Namazi-Rad,Masayuki Numao,Merlin Teodosia Suarez

PRIMA 2019: Principles and Practice of Multi-Agent Systems

Matteo Baldoni,Mehdi Dastani,Beishui Liao,Yuko Sakurai,Rym Zalila Wenkstern

AIxIA 2020 – Advances in Artificial Intelligence

Matteo Baldoni,Stefania Bandini

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Matteo Baldoni,Amit K. Chopra,Tran Cao Son,Katsutoshi Hirayama,Paolo Torroni

Multi-Agent Systems

Matteo Baldoni,Franziska Klügl,Andrei Olaru,Alexandru Sorici,Adina Magda Florea

Multi-Agent Systems

Matteo Baldoni,Franziska Klügl,Andrei Olaru,Alexandru Sorici,Adina Magda Florea

Relaterad läsning

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

1 044,32 kr

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

580,13 kr

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

580,13 kr

Information Security

Yvo Desmedt

580,13 kr

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

580,13 kr

Hardware and Software: Verification and Testing

Nir Piterman

545,31 kr

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

580,13 kr

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

580,13 kr

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

580,13 kr

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

580,13 kr

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

580,13 kr

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

580,13 kr

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

580,13 kr

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

580,13 kr

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

580,13 kr

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

580,13 kr

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

580,13 kr

Models of Strategic Reasoning

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge

580,13 kr

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

580,13 kr

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

580,13 kr

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

580,13 kr

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

580,13 kr

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

580,13 kr

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

580,13 kr

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

545,31 kr

Cellular Automata and Discrete Complex Systems

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca

580,13 kr

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

580,13 kr

Programming Languages

Fernando Castor, Yu David Liu

580,13 kr

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

580,13 kr

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal

580,13 kr

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

580,13 kr

A General Framework for Reasoning On Inconsistency

Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud

464,08 kr

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

545,31 kr

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

580,13 kr

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

928,27 kr

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

580,13 kr

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

580,13 kr

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

580,13 kr

Multiple Access Communications

Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas

580,13 kr

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

580,13 kr

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

545,31 kr

Algorithmic Decision Theory

Toby Walsh

580,13 kr

KI 2017: Advances in Artificial Intelligence

Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm

580,13 kr

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

580,13 kr

Rules and Reasoning

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman

580,13 kr

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

580,13 kr

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

580,13 kr

Scalable Uncertainty Management

Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín

580,13 kr

Coalgebraic Methods in Computer Science

Ichiro Hasuo

580,13 kr

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

580,13 kr

Mer av författaren

Multiagent System Technologies - E-bok av Nils Bulling, Wolf Ketter, Jörg P. Müller, Gerd Wagner, Gal Kaminka

Tyckte du om boken?

Var den första att betygsätta och recensera den här boken!

Dina sekretessinställningar

Engineering Multi-Agent Systems

Varför läsa med oss?

Synopsis

Om den här boken

Detaljer om boken

Så här läser du

I denna serie

Engineering Multi-Agent Systems

Principles and Practice of Multi-Agent Systems

PRIMA 2019: Principles and Practice of Multi-Agent Systems

AIxIA 2020 – Advances in Artificial Intelligence

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Multi-Agent Systems

Multi-Agent Systems

Relaterad läsning

Using Event-B for Critical Device Software Systems

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Hardware and Software: Verification and Testing

Information Security

Software Engineering for Resilient Systems

Hardware and Software: Verification and Testing

Software Technologies: Applications and Foundations

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Formal Methods and Software Engineering

Concurrency, Security, and Puzzles

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Formal Methods and Software Engineering

Unconventional Computation and Natural Computation

Verification, Model Checking, and Abstract Interpretation

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Formal Methods and Software Engineering

Models of Strategic Reasoning

Numerical Software Verification

Software Engineering and Formal Methods

Verification, Model Checking, and Abstract Interpretation

Logic-Based Program Synthesis and Transformation

Information and Communication Technologies in Education, Research, and Industrial Applications

Formal Aspects of Component Software

Formal Methods for Multicore Programming

Cellular Automata and Discrete Complex Systems

Model-Based Safety and Assessment

Programming Languages

Dependable Software Engineering: Theories, Tools, and Applications

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Critical Systems: Formal Methods and Automated Verification

A General Framework for Reasoning On Inconsistency

Coalgebraic Methods in Computer Science

Fundamentals of Computation Theory

Automated Reasoning

Automated Technology for Verification and Analysis

Formal Modeling and Analysis of Timed Systems

Advances in Cryptology -- CRYPTO 2012

Multiple Access Communications

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Machines, Computations, and Universality

Algorithmic Decision Theory

KI 2017: Advances in Artificial Intelligence

Logic and Its Applications

Rules and Reasoning

Formal Aspects of Component Software

Critical Systems: Formal Methods and Automated Verification

Scalable Uncertainty Management

Coalgebraic Methods in Computer Science

Descriptive Set Theoretic Methods in Automata Theory

Mer av författaren

Multiagent System Technologies

Engineering Multi-Agent Systems

Engineering Multi-Agent Systems

Autonomic Road Transport Support Systems

PRIMA 2019: Principles and Practice of Multi-Agent Systems

Engineering Multi-Agent Systems

AIxIA 2020 – Advances in Artificial Intelligence

Tyckte du om boken?

eBöcker

Ljudböcker

Varför läsa med oss?

Mer av författaren

Multiagent System Technologies