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
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

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

Автор: Giuseppe F. Italiano; Giovanni Pighizzini; Donald
Название: Mathematical Foundations of Computer Science 2015
ISBN: 3662480530 ISBN-13(EAN): 9783662480533
Издательство: Springer
Рейтинг:
Цена: 67080.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.

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

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

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

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

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

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

Автор: Igor Privara; Branislav Rovan; Peter Ruzicka
Название: Mathematical Foundations of Computer Science 1994
ISBN: 3540583386 ISBN-13(EAN): 9783540583387
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations in Theoretical Computer Science, held in Slovakia in August 1994. All areas of theoretical computer science are represented, with a particular emphasis on mathematical applications.