Theoretical Computer Science, Josep Diaz; Ivan Lanese; Davide Sangiorgi
Автор: 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.
Автор: S. Arumugam; Jay Bagga; Lowell W. Beineke; B.S. Pa Название: Theoretical Computer Science and Discrete Mathematics ISBN: 3319644181 ISBN-13(EAN): 9783319644189 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Roosevelt elk populate the parks along California`s north coast and comprise the largest land mammals in the parks. In a study spanning more than twenty years, Weckerly made key observations and conducted various investigations under a multitude of ecological conditions. Few authors have dedicated this much time and effort into a single research area.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Описание: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
