Mathieu jaume (46 risultati)

Condizione: New. pp. 403.

Condizione: New.

Paperback. Condizione: Brand New. 418 pages. 9.25x6.10x0.80 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the workshops co-located with the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L'Aquila, Italy, in October 2020.The total of 21 full and 13 short papers presented in this volume were carefully reviewed and selected from 57 submissions.The papers in this volume stem from the following meetings: Workshop on Agent-Based Artificial Markets Computational Economics (ABAM); Workshop on Agents and Edge-AI (AgEdAI); Workshop on Character Computing (C2); Workshop on MAS for Complex Networks and Social Computation (CNSC); Workshop on Decision Support, Recommendation, and Persuasion in Artificial Intelligence (DeRePAI); Workshop on Multi-Agent Systems and Simulation (MAS&S); Workshop on Multi-agent based Applications for Energy Markets, Smart Grids and Sustainable Energy Systems (MASGES); Workshop on Smart Cities and Intelligent Agents (SCIA).…

Taschenbuch. Condizione: Neu. Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection | International Workshops of PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings | Fernando De La Prieta (u. a.) | Taschenbuch | Communications in Computer and Information Science | xiv | Englisch | 2020 | Springer | EAN 9783030519988 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: New.

Condizione: New.

Condizione: Gut. Zustand: Gut | Seiten: 432 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the workshops co-located with the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L¿Aquila, Italy, in October 2020. The total of 21 full and 13 short papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers in this volume stem from the following meetings: Workshop on Agent-Based Artificial Markets Computational Economics (ABAM); Workshop on Agents and Edge-AI (AgEdAI); Workshop on Character Computing (C2); Workshop on MAS for Complex Networks and Social Computation (CNSC); Workshop on Decision Support, Recommendation, and Persuasion in Artificial Intelligence (DeRePAI); Workshop on Multi-Agent Systems and Simulation (MAS&S); Workshop on Multi-agent based Applications for Energy Markets, Smart Grids and Sustainable Energy Systems (MASGES); Workshop on Smart Cities and Intelligent Agents (SCIA). …

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: fine. très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie. 336425-1 - Logique pour l'informatique, Jaume, Mathieu, ELLIPSES, 2020.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Hardback. Condizione: New. This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.…

Condizione: New.

Condizione: New.

Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: New. In English.

Condizione: New. In English.

Gebunden. Condizione: New.

Hardcover. Condizione: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock.

Hardback. Condizione: New. This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.…

Condizione: very good. Le livre peut montrer des signes d'usure dus a une utilisation constante, etre marque, porter des marques d'identification ou presenter plusieurs dommages esthetiques mineurs. vendeur professionnel; envoi soigne en 24/48h.

Paperback. Condizione: Brand New. 528 pages. French language. 9.45x7.48x1.10 inches. In Stock.