Nastavení ochrany vašich osobních údajů

Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.

Engineering Multi-Agent Systems

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

elektronická kniha,elektronická kniha

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

Springer Nature Proceedings Computer Science

Koupit elektronickou knihu

elektronická kniha,elektronická kniha

Ušetřete 10 %Katalogová cena: 1 212,76 Kč.1 091,49 Kč

Nacházíte se v obchodě v Česká republika

Není v Česká republika? Vyberte si obchod ve vaší zemi a zobrazte si knihy, které si můžete koupit.

Vyberte obchod

Koupit nyní

Synopse

Kategorie

O knize

Jazyk:English
ISBN:9783319509839
Datum vydání:16. 12. 2016
Vydavatel:Springer International Publishing

Tiráž:Springer
Formát souboru:EPUB2
Velikost souboru:2.75 MB
Možnosti stahování:EPUB2 (Adobe DRM)

V této sérii

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

Engineering Multi-Agent Systems

Matteo Baldoni,Luciano Baresi,Mehdi Dastani

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

Související čtení

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

1 964,89 Kč

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

1 091,49 Kč

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

1 091,49 Kč

Information Security

Yvo Desmedt

1 091,49 Kč

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

1 091,49 Kč

Hardware and Software: Verification and Testing

Nir Piterman

1 025,99 Kč

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

1 091,49 Kč

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

1 091,49 Kč

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

1 091,49 Kč

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

1 091,49 Kč

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

1 091,49 Kč

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

1 091,49 Kč

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

1 091,49 Kč

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

1 091,49 Kč

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

1 091,49 Kč

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

1 091,49 Kč

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

1 091,49 Kč

Models of Strategic Reasoning

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge

1 091,49 Kč

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

1 091,49 Kč

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

1 091,49 Kč

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

1 091,49 Kč

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

1 091,49 Kč

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

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

1 091,49 Kč

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

1 091,49 Kč

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

1 025,99 Kč

Cellular Automata and Discrete Complex Systems

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

1 091,49 Kč

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

1 091,49 Kč

Programming Languages

Fernando Castor, Yu David Liu

1 091,49 Kč

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

1 091,49 Kč

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

1 091,49 Kč

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

1 091,49 Kč

A General Framework for Reasoning On Inconsistency

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

873,19 Kč

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

1 025,99 Kč

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

1 091,49 Kč

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

1 746,59 Kč

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

1 091,49 Kč

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

1 091,49 Kč

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

1 091,49 Kč

Multiple Access Communications

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

1 091,49 Kč

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

1 091,49 Kč

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

1 025,99 Kč

Algorithmic Decision Theory

Toby Walsh

1 091,49 Kč

KI 2017: Advances in Artificial Intelligence

Gabriele Kern-Isberner, Johannes Fürnkranz, Universität Koblenz

1 091,49 Kč

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

1 091,49 Kč

Rules and Reasoning

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

1 091,49 Kč

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

1 091,49 Kč

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

1 091,49 Kč

Scalable Uncertainty Management

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

1 091,49 Kč

Coalgebraic Methods in Computer Science

Ichiro Hasuo

1 091,49 Kč

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

1 091,49 Kč

Více knih podle autora

Agents and Data Mining Interaction – e-kniha od Yifeng Zeng, Andreas L. Symeonidis, Vladimir Gorodetsky, Philip S. Yu, Jörg P. Müller, Longbing Cao

Líbila se vám kniha?

Buďte první, kdo knihu ohodnotí a napíše na ni recenzi.

Nastavení ochrany vašich osobních údajů

Engineering Multi-Agent Systems

Synopse

O knize

Podrobnosti o knize

Jak číst

V této sérii

Principles and Practice of Multi-Agent Systems

Engineering 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

Související čtení

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

Více knih podle autora

Agents and Data Mining Interaction

Protein Tyrosine Phosphatases

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

Autonomic Road Transport Support Systems

Líbila se vám kniha?

eKnihy

Audioknihy

Líbila se vám kniha?

Nejnovější příspěvky na blogu