Mathematical Foundations of Computer Science 2001, Jiri Sgall; Ales Pultr; Petr Kolman

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

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

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

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

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

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

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

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

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

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

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

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