Dine personverninnstillinger

Ved å velge «Godta alle» tillater du at Rakuten Kobo og deres partnere bruker informasjonskapsler, sporingsteknologi og lignende teknologier for å samle inn personopplysningene dine og behandle dem til følgende formål: å drive nettstedet og Kobo-tjenestene og sikre at de fungerer som de skal, å levere personlig tilpasset innhold til deg på Kobo og annonser for Kobo på andre plattformer og å måle statistikk og analysere hvordan nettstedet vårt og tjenestene våre brukes. Hvis ikke kan du klikke på «Avvis» nedenfor for å avvise alle ikke-essensielle formål, eller se «Personverninnstillinger» for å administrere preferansene dine for hvert formål. Les Personvernerklæring vår for å få mer informasjon.

Engineering Multi-Agent Systems

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

e-bok,e-bok

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

Springer Nature Proceedings Computer Science

Kjøp e-boken

539,46kr

Du er i Norge-butikken

Ikke i Norge? Velg butikken for landet ditt for å se bøker som kan kjøpes.

Velg butikk

Kjøp nå

Hvorfor lese med oss?

Kobo gir bokelskere muligheten til å lese mer.

Forbedret leseopplevelse med Kobo-lesebrett

Rik og relevant bokkatalog

Gratis leseapp fra Kobo

Sammendrag

Kategorier

Om denne boken

Språk:English
ISBN:9783319509839
Utgivelsesdato:16. des. 2016
Forlag:Springer International Publishing

Trykk:Springer
Filformat:EPUB2
Filstørrelse:2.75 MB
Nedlastingsalternativer:EPUB2 (Adobe DRM)

I denne serien

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

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 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

Relatert lesestoff

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

971,12kr

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

539,46kr

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

539,46kr

Information Security

Yvo Desmedt

539,46kr

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

539,46kr

Hardware and Software: Verification and Testing

Nir Piterman

507,09kr

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

539,46kr

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

539,46kr

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

539,46kr

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

539,46kr

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

539,46kr

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

539,46kr

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

539,46kr

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

539,46kr

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

539,46kr

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

539,46kr

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

539,46kr

Models of Strategic Reasoning

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge

539,46kr

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

539,46kr

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

539,46kr

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

539,46kr

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

539,46kr

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

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

539,46kr

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

539,46kr

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

507,09kr

Cellular Automata and Discrete Complex Systems

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

539,46kr

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

539,46kr

Programming Languages

Fernando Castor, Yu David Liu

539,46kr

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

539,46kr

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

539,46kr

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

539,46kr

A General Framework for Reasoning On Inconsistency

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

431,55kr

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

507,09kr

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

539,46kr

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

863,20kr

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

539,46kr

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

539,46kr

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

539,46kr

Multiple Access Communications

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

539,46kr

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

539,46kr

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

507,09kr

Algorithmic Decision Theory

Toby Walsh

539,46kr

KI 2017: Advances in Artificial Intelligence

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

539,46kr

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

539,46kr

Rules and Reasoning

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

539,46kr

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

539,46kr

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

539,46kr

Scalable Uncertainty Management

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

539,46kr

Coalgebraic Methods in Computer Science

Ichiro Hasuo

539,46kr

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

539,46kr

Mer av denne forfatteren

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

Likte du boken?

Bli den første som vurderer denne boken!

Dine personverninnstillinger

Engineering Multi-Agent Systems

Hvorfor lese med oss?

Sammendrag

Om denne boken

Bokinformasjon

Hvordan lese

I denne serien

PRIMA 2019: Principles and Practice of Multi-Agent Systems

AIxIA 2020 – Advances in Artificial Intelligence

Engineering Multi-Agent Systems

Principles and Practice of Multi-Agent Systems

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Multi-Agent Systems

Multi-Agent Systems

Relatert lesestoff

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 denne forfatteren

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

Likte du boken?

e-Bøker

Lydbøker

Hvorfor lese med oss?

Mer av denne forfatteren

Multiagent System Technologies