Описание: 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.
Автор: 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;
Автор: Kang Zhang Название: Visual Languages and Applications ISBN: 1441940030 ISBN-13(EAN): 9781441940032 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Visual languages have long been lit pursuitofeffective communication 00- tween human and machine. Today, they are suecessfully employed for e: nd user progmmming, modeliog, rapid prototypmg, and design activities by people ofmany disciplines including arehitects, artists, children, engi neers, and scientists. Furthermore. with rapid advances ofthe Internet and Web technology, human human communication through the Web or eleo- tronie mobile deviees is becoming more and moreprevalent This manuscript provides a comprehensive introduetion to diagmmmatiooI visual programming languages and the technologyofautomatie genemtion ofsnch languages. It covers a broad rangeofcontents from the underlying theoryofgraph grammars to the applications in various domains. Thecon tents were ex: l: l: aeted from the papers that my Ph. D. students and I have published in the last 10 years. and are updated and organized in a coherent fashion. The manuseript gives an in. -depth treatmentof all the topic areas. Pointers to related work and further readings are also faeilitated at the end ofeverychapterexeeptChapter 9. Rather than describing how to program visually, the manuscript discusses what are visual programming languages, and how sooh languages and their underlying foundations can be usefully applied to other fields incomputer science that need graphs as the p: rimary meansofrepresentation. Assuming the basic knowledge of computer programming and compiler co: nstruetion, the manuscript can be used as a textbook for senior orgradu ate computer science classes on visual languages, or a reference book for programming language classes, practitioners, and researchers inthe related field. The manuscript cannot be completed without the helps of many people.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Автор: John Darzentas; George Vouros; Spyros Vosinakis; A Название: Artificial Intelligence: Theories, Models and Applications ISBN: 3540878807 ISBN-13(EAN): 9783540878803 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008. This book includes the papers that address the area of artificial intelligence; particular fields of interest include Adaptive Systems, AI and Creativity, AI architectures, and Artificial Life.
Автор: 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.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: Anne Hakansson; Ronald Hartung Название: Agent and Multi-Agent Systems: Technologies and Applications ISBN: 3642016642 ISBN-13(EAN): 9783642016646 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Third KES International Symposium KESAMSTA 2009 Uppsala Sweden June 35 2009 Proceedings. .
Simulating Sustainability: Guiding Principles to Ensure Policy Impact.- Papers Evaluating the Social Benefit of a Negotiation-Based Parking Allocation.- Load Management Through Agent Based Coordination of Flexible Electricity Consumers.- Agent-Based Distributed Analytical Search.- Distributed Belief Propagation in Multi-agent Environment.- Situated Artificial Institution to Support Advanced Regulation in the Field of Crisis Management.- Trusting Information Sources Through Their Categories.- AGADE Using Personal Preferences and World Knowledge to Model Agent Behaviour.- Contextualize Agent Interactions by Combining Communication and Physical Dimensions in the Environment.- ''1-N'' Leader-Follower Formation Control of Multiple Agents Based on Bearing-Only Observation.- Echo State Networks for Feature Selection in Affective Computing.- Performance Investigation on Binary Particle Swarm Optimization for Global Optimization .- Contracts for Difference and Risk Management in Multi-agent Energy Markets.- Why Are Contemporary Political Revolutions Leaderless? An Agent-Based Explanation.- Time Machine: Projecting the Digital Assets onto the Future Simulation Environment.- From Goods to Traffic: First Steps Toward an Auction-Based Traffic Signal Controller.- Social Emotional Model.- AgentDrive: Towards an Agent-Based Coordination of Intelligent Cars.- Multi-agent Based Flexible Deployment of Context Management in Ambient Intelligence Applications.- Multi-agent Multi-model Simulation of Smart Grids in the MS4SG Project.- iaBastos: An Intelligent Marketplace for Agricultural Products.- TrafficGen: A Flexible Tool for Informing Agent-Based Traffic Simulations with Open Data.- Distributed Analytical Search.- Situated Regulation on a Crisis Management Collaboration Platform.- Demo Paper: AGADE Using Communities of Agents to Provide Realistic Feedback in Business Simulations.- BactoSim - An Individual-Based Simulation Environment for Bacterial Conjugation.- A Multimodal City Street and Entertainment Guide for Android Mobile Devices.- EXPLAIN_MAS: An Agent Behavior Explanation System.- A Fully Integrated Development Environment for Agent-Oriented Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration.- Simulating the Optimization of Energy Consumption in Homes.- First Steps Toward an Auction-Based Traffic Signal Controller.-Addressing Long-Term Digital Preservation Through Computational Intelligence.- Representing Social Emotions in MAS.- Developing Agent-Based Driver Assistance Systems Using AgentDrive.- Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation.- Smart Grids Simulation with MECSYCO.
Автор: David Kotz; Friedemann Mattern Название: Agent Systems, Mobile Agents, and Applications ISBN: 354041052X ISBN-13(EAN): 9783540410522 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on migration, security issues, systems and applications, mobile agent applications, applications of multi-agent systems, communication and mobility control, co-operation and interaction.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
