Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Categorical Combinators, Sequential Algorithms, and Functional Programming, P.-L. Curien


Варианты приобретения
Цена: 20962.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: P.-L. Curien
Название:  Categorical Combinators, Sequential Algorithms, and Functional Programming
ISBN: 9780817636548
Издательство: Springer
Классификация:

ISBN-10: 0817636544
Обложка/Формат: Hardcover
Страницы: 404
Вес: 0.77 кг.
Дата издания: 01.01.1993
Серия: Progress in Theoretical Computer Science
Язык: English
Размер: 234 x 156 x 24
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples of fruitful interactions among computer science, category theory and mathematical logic.


Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Автор: Willem-Jan van Hoeve; Elvin Coban
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642019285 ISBN-13(EAN): 9783642019289
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Автор: Andrea Lodi; Michela Milano; Paolo Toth
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642135196 ISBN-13(EAN): 9783642135194
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010.

Efficient Algorithms for Listing Combinatorial Structures

Автор: Goldberg
Название: Efficient Algorithms for Listing Combinatorial Structures
ISBN: 0521450217 ISBN-13(EAN): 9780521450218
Издательство: Cambridge Academ
Рейтинг:
Цена: 17424.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First published in 1993, this thesis is concerned with the design of efficient algorithms for listing combinatorial structures. Some related work is also included which compares the listing problem with the difficulty of solving the existence problem, the construction problem, the random sampling problem, and the counting problem.

Combinators and Functional Programming Languages

Автор: Guy Cousineau; Pierre-Louis Curien; Bernard Robine
Название: Combinators and Functional Programming Languages
ISBN: 3540171843 ISBN-13(EAN): 9783540171843
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Algorithms in Combinatorial Geometry

Автор: Edelsbrunner Herbert
Название: Algorithms in Combinatorial Geometry
ISBN: 3642648738 ISBN-13(EAN): 9783642648731
Издательство: Springer
Цена: 18161.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Integer Programming and Combinatorial Optimization

Автор: Quentin Louveaux; Martin Skutella
Название: Integer Programming and Combinatorial Optimization
ISBN: 3319334603 ISBN-13(EAN): 9783319334608
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes therefereed proceedings of the 18th International Conference on IntegerProgramming and Combinatorial Optimization, IPCO 2016, held in Liege, Belgium,in June 2016.

Integer Programming and Combinatorial Optimization

Автор: Gerard Cornuejols; Rainer E. Burkard; Gerhard J. W
Название: Integer Programming and Combinatorial Optimization
ISBN: 3540660194 ISBN-13(EAN): 9783540660194
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These papers cover: approximation, branch and bound, cutting plane, graph and network, and online algorithms; computational biology, complexity and geometry; diaphantine equations; geometry of numbers; and polyhedral combinatorics, scheduling and semidefinite programs.

Combinatorial Programming: Methods and Applications

Автор: B. Roy
Название: Combinatorial Programming: Methods and Applications
ISBN: 9401175594 ISBN-13(EAN): 9789401175593
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute, Versailles, France, September 2-13, 1975

Combinatorial Algorithms

Автор: M?kinen
Название: Combinatorial Algorithms
ISBN: 3319445421 ISBN-13(EAN): 9783319445427
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 27th International Workshop on Combinatorial Algorithms, IWOCA 2016, held in Helsinki, Finland, in August 2016. The 35 papers presented in this volume were carefully reviewed and selected from 87 submissions. online algorithms; combinatorial algorithms; graph algorithms;

Combinatorial Algorithms

Автор: Jiri Fiala; Jan Kratochvil; Mirka Miller
Название: Combinatorial Algorithms
ISBN: 3642102166 ISBN-13(EAN): 9783642102165
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The topics dealt with are algorithms and data structures, applications, combinatorial enumeration, combinatorial optimization, complexity theory, computational biology, databases, decompositions and combinatorial designs, discrete and computational geometry, including graph drawing, and graph theory and combinatorics.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия