Logical Foundations of Computer Science, Sergei Artemov; Anil Nerode

Автор: Peter A. Fejer; Dan A. Simovici
Название: Mathematical Foundations of Computer Science
ISBN: 1461277922 ISBN-13(EAN): 9781461277927
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science.

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

Автор: Branislav Rovan
Название: Mathematical Foundations of Computer Science 1990
ISBN: 3540529535 ISBN-13(EAN): 9783540529538
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the proceedings of a symposium on the mathematical foundations of theoretical computer science, the 15th of a series held regularly in Czechoslovakia and Poland. Authors are from Europe, USA, Japan and China. It is the major theory conference series of Eastern Europe.

Автор: Andrzej Tarlecki
Название: Mathematical Foundations of Computer Science 1991
ISBN: 3540543457 ISBN-13(EAN): 9783540543459
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Giuseppe F. Italiano; Giovanni Pighizzini; Donald
Название: Mathematical Foundations of Computer Science 2015
ISBN: 3662480530 ISBN-13(EAN): 9783662480533
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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

Автор: Andrzej M. Borzyszkowski; Stefan Sokolowski
Название: Mathematical Foundations of Computer Science 1993
ISBN: 3540571825 ISBN-13(EAN): 9783540571827
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs.

Автор: Rudrapatna K. Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540575294 ISBN-13(EAN): 9783540575290
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.

Автор: Jiri Wiedermann; Petr Hajek
Название: Mathematical Foundations of Computer Science 1995
ISBN: 3540602461 ISBN-13(EAN): 9783540602460
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MCFS `95, held in Prague in 1995. The papers are organized in sections on: structural complexity; algorithms; complexity theory; and graphs in models of computation among others.

Автор: Wojciech Penczek; Andrzej Szalas
Название: Mathematical Foundations of Computer Science 1996
ISBN: 3540615504 ISBN-13(EAN): 9783540615507
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MCFS `96. The text contains 35 papers which outline relevant aspects of theoretical computer science. It places an emphasis on mathematical and logical foundations.

Автор: Miroslaw Kutylowski; Leszek Pacholski; Tomasz Wier
Название: Mathematical Foundations of Computer Science 1999
ISBN: 3540664084 ISBN-13(EAN): 9783540664086
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text covers topics such as computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation.

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