Logical Foundations of Computer Science, Sergei Artemov; Anil Nerode

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

Автор: Giuseppe F Italiano; Giovanni Pighizzini; Donald T
Название: Mathematical Foundations of Computer Science 2015
ISBN: 3662480565 ISBN-13(EAN): 9783662480564
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

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

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

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

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

Автор: Andrzej Tarlecki
Название: Mathematical Foundations of Computer Science 1991
ISBN: 3540543457 ISBN-13(EAN): 9783540543459
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software specification and development, logic and semantics of programs, algorithms, complexity and computability theory.

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