Описание: Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
Автор: Kent D. Lee Название: Foundations of Programming Languages ISBN: 3319707892 ISBN-13(EAN): 9783319707891 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog;
Автор: Dieter Fensel Название: Foundations for the Web of Information and Services ISBN: 3642434266 ISBN-13(EAN): 9783642434266 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Featuring state of the art research essays by experts in the field, this book commemorates the contributions of Rudi Studer to the rapidly evolving discipline of semantic web research.
Автор: Qi Yu; Athman Bouguettaya Название: Foundations for Efficient Web Service Selection ISBN: 1489983228 ISBN-13(EAN): 9781489983220 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This pioneering book describes the foundational framework that lays out a theoretical underpinning for the efficient selection of web services. It provides support for efficient access to web services based on their functional and non-functional attributes.
Автор: Athman Bouguettaya; Quan Z. Sheng; Florian Daniel Название: Web Services Foundations ISBN: 1493948784 ISBN-13(EAN): 9781493948789 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book specifically focuses on the foundations of Web services and SOC and covers - among others - Web service composition, non-functional aspects of Web services, Web service selection and recommendation, and assisted Web service composition.
Автор: Hanan Samet Название: Foundations of Multidimensional and Metric Data Structures, ISBN: 0123694469 ISBN-13(EAN): 9780123694461 Издательство: Elsevier Science Рейтинг: Цена: 10441.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses multidimensional point data, object and image-based representations, intervals and small rectangles, and high-dimensional datasets. This book includes a comprehensive survey to spatial and multidimensional data structures and algorithms. It also includes implementation details for some of the most useful data structures.
Автор: Walter Binder; Schahram Dustdar Название: Emerging Web Services Technology Volume III ISBN: 3034601034 ISBN-13(EAN): 9783034601030 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains a collection of selected papers originally presented at the Workshop on Emerging Web Service Technology (WEWST`08) held in conjunction with the 6th European Conference on Web Services (ECOWS`08) in November 2008 in Dublin, Ireland.
Автор: Hussein A. Abbass; Jason Scholz; Darryn J. Reid Название: Foundations of Trusted Autonomy ISBN: 3319648152 ISBN-13(EAN): 9783319648156 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in three parts, with chapters written by eminent researchers and outstanding practitioners and users in the field. The first part covers foundational artificial intelligence technologies, while the second part covers philosophical, practical and technological perspectives on trust. Lastly, the third part presents advanced topics necessary to create future trusted autonomous systems. The book augments theory with real-world applications including cyber security, defence and space.
Автор: Christoph Beierle; Carlo Meghini Название: Foundations of Information and Knowledge Systems ISBN: 3319049380 ISBN-13(EAN): 9783319049380 Издательство: Springer Рейтинг: Цена: 11598.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talks.- The Equational Approach to Contrary-to-duty Obligations.- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints.- Regular Articles.- Arguments Using Ontological and Causal Knowledge.- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.- An AIF-Based Labeled Argumentation Framework.- On the Semantics of Partially Ordered Bases.- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings.- Enriching Taxonomies of Place Types Using Flickr.- Hintikka-Style Semantic Games for Fuzzy Logics.- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies.- Guard Independence and Constraint-Preserving Snapshot Isolation.- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model.- View-Based Tree-Language Rewritings for XML.- EHC: Non-parametric Editing by Finding Homogeneous Clusters.- A Logic for Specifying Stochastic Actions and Observations.- Belief Revision in Structured Probabilistic Argumentation.- A Multi-granular Database Model.- Optimizing Computation of Repairs from Active Integrity Constraints.- Belief Merging in Dynamic Logic of Propositional Assignments.- Incremental Maintenance of Aggregate Views.- Towards an Approximative Ontology-Agnostic Approach for Logic Programs.
Автор: Troels Andreasen; Henning Christiansen; Juan-Carlo Название: Foundations of Intelligent Systems ISBN: 3319083252 ISBN-13(EAN): 9783319083254 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The papers are organized in topical sections on complex networks and data stream mining; special session: challenges in text mining and semantic information retrieval;
Описание: Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations.- Programming language integration and verification tools.- Hardware supports.- Distributed TM systems.- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.
Автор: Giuseppe F. Italiano; Giovanni Pighizzini; Donald Название: Mathematical Foundations of Computer Science 2015 ISBN: 3662480530 ISBN-13(EAN): 9783662480533 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
