Mathematical Foundations of Programming Language Semantics, Michael Main; Austin Melton; Michael Mislove; Davi

Автор: Austin Melton
Название: Mathematical Foundation of Programming Semantics
ISBN: 3540168168 ISBN-13(EAN): 9783540168164
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

Автор: Michael G. Main; Austin C. Melton; Michael W. Misl
Название: Mathematical Foundations of Programming Semantics
ISBN: 0387973753 ISBN-13(EAN): 9780387973753
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Stephen Brookes; Michael Main; Austin Melton; Mich
Название: Mathematical Foundations of Programming Semantics
ISBN: 3540580271 ISBN-13(EAN): 9783540580270
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.

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

Автор: Eugenio G. Omodeo; Alberto Policriti
Название: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 3319418416 ISBN-13(EAN): 9783319418414
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

Автор: Bernhard Steffen; Oliver R?thing; Michael Huth
Название: Mathematical Foundations of Advanced Informatics
ISBN: 3319683969 ISBN-13(EAN): 9783319683966
Издательство: Springer
Рейтинг:
Цена: 4611.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.

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

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