Mathematical Foundations of Computer Science 1980, P. Dembinski

Автор: Igor Privara; Peter Ruzicka
Название: Mathematical Foundations of Computer Science 1997
ISBN: 3540634371 ISBN-13(EAN): 9783540634379
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS `97. The papers cover a range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars and formal languages.

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

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

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

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

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