Mathematical Foundations of Computer Science 1997, Igor Privara; Peter Ruzicka

Автор: Stephen Brookes; Michael Main; Austin Melton; Mich
Название: Mathematical Foundations of Programming Semantics
ISBN: 3540580271 ISBN-13(EAN): 9783540580270
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 9048180651 ISBN-13(EAN): 9789048180653
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.

Автор: P. Dembinski
Название: Mathematical Foundations of Computer Science 1980
ISBN: 354010027X ISBN-13(EAN): 9783540100270
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Mogens Nielsen; Branislav Rovan
Название: Mathematical Foundations of Computer Science 2000
ISBN: 3540679014 ISBN-13(EAN): 9783540679011
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text gives an overview on research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing should benefit from this book.

Автор: Michael G. Main; Austin C. Melton; Michael W. Misl
Название: Mathematical Foundations of Programming Semantics
ISBN: 0387973753 ISBN-13(EAN): 9780387973753
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael Main; Austin Melton; Michael Mislove; Davi
Название: Mathematical Foundations of Programming Language Semantics
ISBN: 3540190201 ISBN-13(EAN): 9783540190202
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.

Автор: Sergei Artemov; Anil Nerode
Название: Logical Foundations of Computer Science
ISBN: 3642357210 ISBN-13(EAN): 9783642357213
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics;

Автор: Andras Kornai
Название: Mathematical Linguistics
ISBN: 184996694X ISBN-13(EAN): 9781849966948
Издательство: Springer
Рейтинг:
Цена: 10754.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up: no prior knowledge of linguistics is assumed.