Visual Languages and Applications, Kang Zhang

Автор: Martin Kleppmann
Название: Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
ISBN: 1449373321 ISBN-13(EAN): 9781449373320
Издательство: Wiley
Рейтинг:
Цена: 7602.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this practical and comprehensive guide, author Martin Kleppmann helps you navigate this diverse landscape by examining the pros and cons of various technologies for processing and storing data.

Автор: Tadeo Ichikawa; Erland Jungert; Robert R. Korfhage
Название: Visual Languages and Applications
ISBN: 1461278716 ISBN-13(EAN): 9781461278719
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: I THEORY Fundamental to the concept of visual languages is the convIctIOn that diagrams and other visual representations can aid understanding and communication of ideas.

Автор: Martin Radetzki
Название: Languages for Embedded Systems and their Applications
ISBN: 9048181917 ISBN-13(EAN): 9789048181919
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL `08, the top international conference specializing in this field.

Автор: Carlos Martin-Vide; Victor Mitrana; Gheorghe P?un
Название: Formal Languages and Applications
ISBN: 3642535542 ISBN-13(EAN): 9783642535543
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers.

Автор: Chiara Bodei; Gianluigi Ferrari; Corrado Priami
Название: Programming Languages with Applications to Biology and Security
ISBN: 3319255266 ISBN-13(EAN): 9783319255262
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Pierpaolo Degano.- Pierpaolo, a great friend.- Distributed Authorization with Distributed Grammars.- Causal Trees, fi nally.- Limited Disclosure and Locality in Graphs.- Hoare Logic for Disjunctive Information Flow.- Alice and Bob: Reconciling Formal Models and Implementation.- Asynchronous Traces and Open Petri Nets.- Compliance in Behavioural Contracts: A Brief Survey.- Safe Adaptation Through Implicit Effect Coercion.- Validation of Decentralised Smart Contracts through Game Theory and Formal Methods.- Static Evidences for Attack Reconstruction.- A Declarative View of Signaling Pathways.- Securing Android with Local Policies.- Global Protocol Implementations via Attribute-Based Communication.- Symbolic Protocol Analysis with Disequality Constraints modulo Equational Theories.- Language Representability of Finite P/T Nets.- Soulmate Algorithms.- Active Knowledge, LuNA and Literacy for Oncoming Centuries.- There Are Two Sides to Every Question: Controller vs Attacker.- From Safety Critical Java Programs to Timed Process Models.- When to Move to Transfer Nets.- L: An Imperative DSL to Stochastically Simulate Biological Systems.

Автор: Jos?-Luis Sierra-Rodr?guez; Jos?-Paulo Leal; Alber
Название: Languages, Applications and Technologies
ISBN: 3319276522 ISBN-13(EAN): 9783319276526
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015.The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages;

Автор: Chengqi Zhang; Dickson Lukose
Название: Multi-Agent Systems. Theories, Languages and Applications
ISBN: 3540654771 ISBN-13(EAN): 9783540654773
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-workshop proceedings of the 4th Australian Workshop on distributed Artificial Intelligence held in Brisbane, QLD, Australia in July 1998. Among the topics covered are self-interested mobile agents, formal specification of MAS, reinforcement learning, self organization, agent negotiation, and more.

Автор: Shi-Kuo Chang
Название: Visual Languages
ISBN: 1461290104 ISBN-13(EAN): 9781461290100
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended as both an introduction to the state-of-the-art in visual languages, as well as an exposition of the frontiers of research in advanced visual languages.

Автор: Carlos Delgado Kloos; Eduard Cerny
Название: Hardware Description Languages and their Applications
ISBN: 0412788101 ISBN-13(EAN): 9780412788109
Издательство: Springer
Рейтинг:
Цена: 22354.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Over the years Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors. This book presents the developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.