Ewa orlowska on relational methods in logic and computer science, 

Автор: Chris Brink; Wolfram Kahl; Gunther Schmidt
Название: Relational Methods in Computer Science
ISBN: 3211829717 ISBN-13(EAN): 9783211829714
Издательство: Springer
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more.

Автор: Jules Desharnais; Walter Guttmann; Stef Joosten
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3030021483 ISBN-13(EAN): 9783030021481
Издательство: Springer
Рейтинг:
Цена: 9222.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Автор: Gabor Kecskemeti
Название: Applying Integration Techniques and Methods in Distributed Systems
ISBN: 1522582959 ISBN-13(EAN): 9781522582953
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 35897.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Distributed systems intertwine with our everyday lives. The benefits and current shortcomings of the underpinning technologies are experienced by a wide range of people and their smart devices. With the rise of large-scale IoT and similar distributed systems, cloud bursting technologies, and partial outsourcing solutions, private entities are encouraged to increase their efficiency and offer unparalleled availability and reliability to their users. Applying Integration Techniques and Methods in Distributed Systems is a critical scholarly publication that defines the current state of distributed systems, determines further goals, and presents architectures and service frameworks to achieve highly integrated distributed systems and presents solutions to integration and efficient management challenges faced by current and future distributed systems. Highlighting topics such as multimedia, programming languages, and smart environments, this book is ideal for system administrators, integrators, designers, developers, researchers, and academicians.

Автор: Ewa Orlowska; Andrzej Szalas
Название: Relational Methods for Computer Science Applications
ISBN: 3662003627 ISBN-13(EAN): 9783662003626
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ewa Orlowska; Joanna Goli?ska Pilarek
Название: Dual Tableaux: Foundations, Methodology, Case Studies
ISBN: 9400734360 ISBN-13(EAN): 9789400734364
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.

Автор: Ewa Orlowska
Название: Incomplete Information: Rough Set Analysis
ISBN: 3790810495 ISBN-13(EAN): 9783790810493
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an account of the current status of the basic theory, extensions and applications of rough sets. The book presents rough set formalisms and methods of modelling and handling incomplete information, and motivates their applicability to knowledge discovery and machine learning.

Автор: Stephane P. Demri; Ewa Orlowska
Название: Incomplete Information: Structure, Inference, Complexity
ISBN: 3642075401 ISBN-13(EAN): 9783642075407
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph presents a systematic, exhaustive and up-to-date overview of formal methods and theories for data analysis and inference inspired by the concept of rough set. The formalisms developed are non-invasive in that only the actual information that is needed in the process of analysis without external sources of information being required.

Автор: Peter H?fner; Peter Jipsen; Wolfram Kahl; Martin E
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319062506 ISBN-13(EAN): 9783319062501
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions.

Автор: Peter H?fner; Damien Pous; Georg Struth
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319574175 ISBN-13(EAN): 9783319574172
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions.

Автор: Wolfram Kahl; Michael Winter; Jos? Oliveira
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319247034 ISBN-13(EAN): 9783319247038
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

Автор: Ewa Trutkowski
Название: Topic Drop and Null Subjects in German
ISBN: 3110444135 ISBN-13(EAN): 9783110444131
Издательство: Walter de Gruyter
Цена: 14867.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph deals with argument drop in the German prefield and it presents new insights into null subjects, topic drop and the interpretation of topic dropped elements. Major issues are (inter alia) the drop of structurally vs. obliquely cased arguments and the question on which basis nominative/accusative and dative/genitive can be kept apart. Furthermore, it is shown that the (im)possibility of phi-feature mismatches concerning the antecedent and gap in topic drop dialogues allows to differentiate between coreference and "real" (quantifier) binding. Aside from topic drop, (1st/2nd vs. 3rd person) null subjects are investigated across a couple of unrelated languages, also focusing on the presence of syncretisms within verbal inflectional paradigms. It is proven that 1st/2nd person null subjects in German are not an instance of antecedent-dependent topic drop but that they are licensed by discrete verbal inflectional endings. Thus, according to this property, German can be classified as a partial pro-drop language. Next to theoretical discussions and considerations this book offers a broad (empirically covered) data basis, which makes it suitable for both theoretically and empirically interested (generative) linguists.

Автор: Walton
Название: Methods of Argumentation
ISBN: 1107039304 ISBN-13(EAN): 9781107039308
Издательство: Cambridge Academ
Рейтинг:
Цена: 12195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of interesting examples. Written in a nontechnical style, the book explains what you most need to know by applying the methods to many real examples of arguments found in everyday conversational exchanges and legal argumentation.