Theoretical Computer Science, Dingzhu Du; Lian Li; En Zhu; Kun He

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

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

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

Автор: Christian S. Calude; Vladimiro Sassone
Название: Theoretical Computer Science
ISBN: 3642423116 ISBN-13(EAN): 9783642423116
Издательство: Springer
Рейтинг:
Цена: 85710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Antonio Restivo; Simona Ronchi Della Rocca; Luca R
Название: Theoretical Computer Science
ISBN: 3540426728 ISBN-13(EAN): 9783540426721
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the 7th Italian Conference on Theoretical Computer Science, held in Italy in 2001. The 25 full papers and two invited papers include work on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility.

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

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

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

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

Автор: Parker J J
Название: Algorithms for Image Processing and Computer Vision
ISBN: 0470643854 ISBN-13(EAN): 9780470643853
Издательство: Wiley
Рейтинг:
Цена: 83430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Programmers, scientists, and engineers are always in need of newer techniques and algorithms to manipulate and interpret images. Algorithms for Image Processing and Computer Vision is an accessible collection of algorithms for common image processing applications that simplifies complicated mathematical calculations.

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