Theoretical Computer Science, Dingzhu Du; Lian Li; En Zhu; Kun He
Автор: 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.
Автор: Antonio Restivo; Simona Ronchi Della Rocca; Luca R Название: Theoretical Computer Science ISBN: 3540426728 ISBN-13(EAN): 9783540426721 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: Uwe Sch?ning; R. Pruim; Randall J. Pruim Название: Gems of Theoretical Computer Science ISBN: 3642643523 ISBN-13(EAN): 9783642643521 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: Christian S. Calude; Vladimiro Sassone Название: Theoretical Computer Science ISBN: 3642423116 ISBN-13(EAN): 9783642423116 Издательство: Springer Рейтинг: Цена: 12857.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Cristian S. Calude; Michael J. Dinneen; Vincent Va Название: Discrete Mathematics and Theoretical Computer Science ISBN: 3540405054 ISBN-13(EAN): 9783540405054 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: 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.
Автор: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
