Setările dvs. de confidențialitate

Selectând „Acceptă toate”, permiți Rakuten Kobo și partenerilor săi să utilizeze module cookie, tehnologii de urmărire și tehnologii similare pentru a colecta datele tale cu caracter personale și a le prelucra în următoarele scopuri: pentru a opera site-ul și serviciile Kobo și a asigura funcționarea corectă a acestora, pentru a-ți oferi conținut personalizat pe Kobo și reclame pentru Kobo pe alte platforme, precum și pentru a măsura analizele și a analiza modul în care sunt utilizate site-ul și serviciile noastre. În caz contrar, dă clic pe „Refuz” mai jos pentru a respinge toate scopurile neesențiale sau consultă „Setările de confidențialitate” pentru a-ți gestiona preferințele pentru fiecare scop. Pentru mai multe informații, citește Politica de confidențialitate.

Engineering Multi-Agent Systems

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

carte electronică,carte electronică

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

Springer Nature Proceedings Computer Science

Buy the eBook

Economisește 10 %Preț de listă: 289,01 lei.260,17 lei

Sunteți în magazinul România

Nu sunteți în România? Alegeți magazinul din țara dvs. pentru a vedea cărțile disponibile pentru cumpărare.

Alegeți magazinul

Cumpără acum

De ce să citești cu noi?

Kobo ajută iubitorii de cărți să citească mai mult.

Experiență de lectură superioară cu eReaderele noastre Kobo

Catalog bogat și relevant de cărți

Aplicație de lectură gratuită Kobo

Rezumat

Categorii

Despre această carte

Limbă:English
ISBN:9783319509839
Data lansării:16 dec. 2016
Editura:Springer International Publishing

Casetă tehnică:Springer
Formatul fișierului:EPUB2
Dimensiunea fișierului:2.75 MB
Opțiuni de descărcare:EPUB2 (Adobe DRM)

În această 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

PRIMA 2016: Principles and Practice of Multi-Agent Systems

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

AIxIA 2020 – Advances in Artificial Intelligence

Matteo Baldoni,Stefania Bandini

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

Lecturi similare

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

468,30 lei

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

260,17 lei

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

260,17 lei

Information Security

Yvo Desmedt

260,17 lei

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

260,17 lei

Hardware and Software: Verification and Testing

Nir Piterman

244,52 lei

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

260,17 lei

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

260,17 lei

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

260,17 lei

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

260,17 lei

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

260,17 lei

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

260,17 lei

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

260,17 lei

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

260,17 lei

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

260,17 lei

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

260,17 lei

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

260,17 lei

Models of Strategic Reasoning

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge

260,17 lei

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

260,17 lei

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

260,17 lei

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

260,17 lei

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

260,17 lei

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

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

260,17 lei

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

260,17 lei

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

244,52 lei

Cellular Automata and Discrete Complex Systems

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

260,17 lei

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

260,17 lei

Programming Languages

Fernando Castor, Yu David Liu

260,17 lei

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

260,17 lei

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

260,17 lei

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

260,17 lei

A General Framework for Reasoning On Inconsistency

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

208,11 lei

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

244,52 lei

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

260,17 lei

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

416,24 lei

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

260,17 lei

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

260,17 lei

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

260,17 lei

Multiple Access Communications

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

260,17 lei

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

260,17 lei

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

244,52 lei

Algorithmic Decision Theory

Toby Walsh

260,17 lei

KI 2017: Advances in Artificial Intelligence

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

260,17 lei

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

260,17 lei

Rules and Reasoning

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

260,17 lei

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

260,17 lei

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

260,17 lei

Scalable Uncertainty Management

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

260,17 lei

Coalgebraic Methods in Computer Science

Ichiro Hasuo

260,17 lei

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

260,17 lei

Mai multe de la acest autor

Agents and Data Mining Interaction - Cărți electronice de Yifeng Zeng, Andreas L. Symeonidis, Vladimir Gorodetsky, Philip S. Yu, Jörg P. Müller, Longbing Cao

Ți-a plăcut cartea?

Fii primul care evaluează și scrie o recenzie pentru această carte!

Setările dvs. de confidențialitate

Engineering Multi-Agent Systems

De ce să citești cu noi?

Rezumat

Despre această carte

Detalii carte

Cum să citești

În această serie

Engineering Multi-Agent Systems

Principles and Practice of Multi-Agent Systems

PRIMA 2019: Principles and Practice of Multi-Agent Systems

PRIMA 2016: Principles and Practice of Multi-Agent Systems

AIxIA 2020 – Advances in Artificial Intelligence

Multi-Agent Systems

Multi-Agent Systems

Lecturi similare

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

Mai multe de la acest autor

Agents and Data Mining Interaction

Protein Tyrosine Phosphatases

Multi-Agent Systems

PRIMA 2016: Principles and Practice of Multi-Agent Systems

PRIMA 2019: Principles and Practice of Multi-Agent Systems

Principles and Practice of Multi-Agent Systems

Engineering Multi-Agent Systems

AIxIA 2020 – Advances in Artificial Intelligence

Multiagent System Technologies

Engineering Multi-Agent Systems

Engineering Multi-Agent Systems

Multi-Agent Systems

Autonomic Road Transport Support Systems