Theoretical Computer Science, Christian S. Calude; Vladimiro Sassone

Автор: Dingzhu Du; Lian Li; En Zhu; Kun He
Название: Theoretical Computer Science
ISBN: 9811068925 ISBN-13(EAN): 9789811068928
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Автор: Josep Diaz; Ivan Lanese; Davide Sangiorgi
Название: Theoretical Computer Science
ISBN: 3662446014 ISBN-13(EAN): 9783662446010
Издательство: Springer
Рейтинг:
Цена: 68010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.

Автор: Uwe Sch?ning; R. Pruim; Randall J. Pruim
Название: Gems of Theoretical Computer Science
ISBN: 3642643523 ISBN-13(EAN): 9783642643521
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity. It also presents previously open problems that have found (perhaps unexpected) solutions, and challenges the reader to pursue further active research in computer science.

Автор: V. Arvind; Sanjiva Prasad
Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540770496 ISBN-13(EAN): 9783540770497
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.

Автор: Mohammad Reza Mousavi; Ji?? Sgall
Название: Topics in Theoretical Computer Science
ISBN: 3319689525 ISBN-13(EAN): 9783319689524
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions.

Автор: Naoki Kobayashi; Benjamin C. Pierce
Название: Theoretical Aspects of Computer Software
ISBN: 3540427368 ISBN-13(EAN): 9783540427360
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic.

Автор: Kesav V. Nori; C.E. Veni Madhavan
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540534873 ISBN-13(EAN): 9783540534877
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings of the Tenth Indian Conference on Foundations of Software Technology and Theoretical Computer Science include papers on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing and semantics.

Автор: Manindra Agrawal; Anil Seth
Название: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540002251 ISBN-13(EAN): 9783540002253
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, this volume contains 31 papers. A variety of topics from the theory of computing are addressed, from algorithmics, discrete mathematics and logics.

Автор: Kesav V. Nori
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540186255 ISBN-13(EAN): 9783540186250
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Cristian S. Calude; Michael J. Dinneen; Vincent Va
Название: Discrete Mathematics and Theoretical Computer Science
ISBN: 3540405054 ISBN-13(EAN): 9783540405054
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003.The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions.

Автор: Kesav V. Nori; Sanjeev Kumar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540505172 ISBN-13(EAN): 9783540505174
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.