Theoretical Computer Science, Antonio Restivo; Simona Ronchi Della Rocca; Luca R

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

Автор: Juliani Karhum?ki; Hermann Maurer; Grzegorz Rozenb
Название: Results and Trends in Theoretical Computer Science
ISBN: 3540581316 ISBN-13(EAN): 9783540581314
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The research papers contained in this volume reflect the broad spectrum of Professor Salomaa`s interests in theoretical computer science and mathematics. Particular attention is paid to automata theory, formal language theory, mathematical logic, computability and cryptography.

Автор: Dingzhu Du; Lian Li; En Zhu; Kun He
Название: Theoretical Computer Science
ISBN: 9811068925 ISBN-13(EAN): 9789811068928
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Mohammad Reza Mousavi; Ji?? Sgall
Название: Topics in Theoretical Computer Science
ISBN: 3319689525 ISBN-13(EAN): 9783319689524
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Claudio L. Lucchesi; Arnaldo V. Moura
Название: LATIN`98: Theoretical Informatics
ISBN: 3540642757 ISBN-13(EAN): 9783540642756
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A presentation of 28 papers, organized in sections on: algorithms and complexity; automata, transition systems and combinatorics; computational geometry and graph drawing; cryptography; graph theory and algorithms on graphs; packet routing; parallel algorithms; and pattern matching and browsing.

Автор: Eduardo Sany Laber; Claudson Bornstein; Loana Tito
Название: LATIN 2008: Theoretical Informatics
ISBN: 3540787720 ISBN-13(EAN): 9783540787723
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This proceedings volume examines a range of topics in theoretical computer science, including automata theory, data compression, logic, machine learning, mathematical programming, parallel and distributed computing, quantum computing and random structures.

Автор: Martin Abadi; Takayasu Ito
Название: Theoretical Aspects of Computer Software
ISBN: 354063388X ISBN-13(EAN): 9783540633884
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS `97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.

Автор: Josep Diaz; Ivan Lanese; Davide Sangiorgi
Название: Theoretical Computer Science
ISBN: 3662446014 ISBN-13(EAN): 9783662446010
Издательство: Springer
Рейтинг:
Цена: 10202.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.

Автор: Wil Michiels; Emile Aarts; Jan Korst
Название: Theoretical Aspects of Local Search
ISBN: 3642071481 ISBN-13(EAN): 9783642071485
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Local search has been applied successfully to a diverse collection of optimization problems. It provides the reader with a coherent overview of the achievements obtained so far, and serves as a source of inspiration for the development of novel results in the challenging field of local search.