Programming Languages with Applications to Biology and Security, Chiara Bodei; Gianluigi Ferrari; Corrado Priami

Автор: Vijay Atluri; G?nther Pernul
Название: Data and Applications Security and Privacy XXVIII
ISBN: 3662439352 ISBN-13(EAN): 9783662439357
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 28th IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2014, held in Vienna, Austria, in July 2014.

Автор: David Sands
Название: Programming Languages and Systems
ISBN: 3540418628 ISBN-13(EAN): 9783540418627
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Автор: Martine Ceberio; Vladik Kreinovich
Название: Constraint Programming and Decision Making: Theory and Applications
ISBN: 3319617524 ISBN-13(EAN): 9783319617527
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book describes new algorithms and ideas for making effective decisions under constraints, including applications in control engineering, manufacturing (how to optimally determine the production level), econometrics (how to better predict stock market behavior), and environmental science and geosciences (how to combine data of different types). It also describes general algorithms and ideas that can be used in other application areas.

The book presents extended versions of selected papers from the annual International Workshops on Constraint Programming and Decision Making (CoProd'XX) from 2013 to 2016. These workshops, held in the US (El Paso, Texas) and in Europe (Wurzburg, Germany, and Uppsala, Sweden), have attracted researchers and practitioners from all over the world.

It is of interest to practitioners who benefit from the new techniques, to researchers who want to extend the ideas from these papers to new application areas and/or further improve the corresponding algorithms, and to graduate students who want to learn more - in short, to anyone who wants to make more effective decisions under constraints.

Автор: 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.

Автор: 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.

Автор: 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;

Автор: 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.

Автор: Zhong Shao
Название: Programming Languages and Systems
ISBN: 3642548326 ISBN-13(EAN): 9783642548321
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The contributions are organized in topical sections named: type systems;

Автор: J. Paredaens
Название: Automata, Languages, and Programming
ISBN: 3540133453 ISBN-13(EAN): 9783540133452
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jiri Wiedermann; Peter van Emde Boas; Mogens Niels
Название: Automata, Languages and Programming
ISBN: 3540662243 ISBN-13(EAN): 9783540662242
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of 56 revised papers from ICALP`99 and a further 11 inivited contributions. Topics addressed include approximation algorithms, algebra and circuits, concurrency, semantics and rewriting, process algebras, graphs, distributed computing and the logic of programs.

Автор: Fedor V. Fomin; Rusins Freivalds; Marta Kwiatkowsk
Название: Automata, Languages, and Programming
ISBN: 3642392059 ISBN-13(EAN): 9783642392054
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions.