Logical Foundations of Computer Science, Sergei Artemov; Anil Nerode

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

Автор: M.P. Chytil; V. Koubek
Название: Mathematical Foundations of Computer Science 1984
ISBN: 3540133720 ISBN-13(EAN): 9783540133728
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jiri Sgall; Ales Pultr; Petr Kolman
Название: Mathematical Foundations of Computer Science 2001
ISBN: 3540424962 ISBN-13(EAN): 9783540424963
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title explores all current aspects of theoretical computer science ranging from mathematical logic and programming theory to algorithms, discrete mathematics, and complexity theory. Besides classical issues, modern topics like quantum computing are discussed as well.

Автор: Antoni Kreczmar; Grazyna Mirkowska
Название: Mathematical Foundations of Computer Science 1989
ISBN: 3540514864 ISBN-13(EAN): 9783540514862
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS `89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989.

Автор: Ivan M. Havel; Vaclav Koubek
Название: Mathematical Foundations of Computer Science 1992
ISBN: 354055808X ISBN-13(EAN): 9783540558088
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of conference papers which includes discussion of graph layout problems, parallel recognition and ranking of context-free languages, the expansion of combinatorial polytopes, neural networks and complexity theory, methods in parallel algorithms and graph connectivity.

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

Описание: This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;

Автор: Anil Nerode; Mikhail Taitslin
Название: Logical Foundations of Computer Science - Tver `92
ISBN: 3540557075 ISBN-13(EAN): 9783540557074
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.

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

Описание: This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.

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

Описание: This text constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS `97. It presents 42 revised refereed papers in which current issues of computer science logic are addressed.

Автор: Edward Ochmanski; Jerzy Tyszkiewicz
Название: Mathematical Foundations of Computer Science 2008
ISBN: 3540852379 ISBN-13(EAN): 9783540852377
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses various aspects in theoretical computer science and its mathematical foundations, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, and logic and formal specifications.

Автор: Rastislav Kr?lovic; Damian Niwinski
Название: Mathematical Foundations of Computer Science 2009
ISBN: 3642038158 ISBN-13(EAN): 9783642038150
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 34th International Symposium MFCS 2009 Novy Smokovec High Tatras Slovakia August 2428 2009 Proceedi. .

Автор: Krzystof Diks; Wojciech Rytter
Название: Mathematical Foundations of Computer Science 2002
ISBN: 3540440402 ISBN-13(EAN): 9783540440406
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002. This book addresses the aspects of theoretical computer science, ranging from discrete mathematics, algorithms, and complexity to programming theory, and mathematical logic.