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

Functional and Logic Programming, John P. Gallagher; Martin Sulzmann


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

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

Автор: John P. Gallagher; Martin Sulzmann
Название:  Functional and Logic Programming
ISBN: 9783319906850
Издательство: Springer
Классификация:



ISBN-10: 3319906852
Обложка/Формат: Soft cover
Страницы: 281
Вес: 0.46 кг.
Дата издания: 2018
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 74 illustrations, black and white; xvi, 281 p. 74 illus.
Размер: 234 x 156 x 16
Читательская аудитория: Postgraduate, research & scholarly
Основная тема: Computer Science
Подзаголовок: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.


Cracking the Coding Interview: 189 Programming Questions and Solutions

Автор: McDowell Gayle Laakmann
Название: Cracking the Coding Interview: 189 Programming Questions and Solutions
ISBN: 0984782850 ISBN-13(EAN): 9780984782857
Издательство: Неизвестно
Рейтинг:
Цена: 5878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Lendman contends that for over one hundred years powerful bankers have used their control over money, credit and debt for private self-enrichment, bankrolling and colluding with the US Congress and administrations to implement laws favouring them. This book shows people how they`ve been fleeced, including a plan for constructive change.

Functional and Logic Programming

Автор: Oleg Kiselyov; Andy King
Название: Functional and Logic Programming
ISBN: 3319296035 ISBN-13(EAN): 9783319296036
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming;

Functional and Logic Programming

Автор: Zhenjiang Hu; Mario Rodriquez-Artalejo
Название: Functional and Logic Programming
ISBN: 3540442332 ISBN-13(EAN): 9783540442332
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constituting the proceedings of the 6th International Symposium on Functional and Logic Programming, held in Aizu, Japan, this volume contains 15 revised full papers and three full invited papers, covering program transformation and analysis, semantics, rewriting and compilation techniques.

Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

Автор: Nakano Keisuke, Sagonas Konstantinos
Название: Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings
ISBN: 3030590240 ISBN-13(EAN): 9783030590246
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

Thinking Functionally with Haskell

Автор: Bird
Название: Thinking Functionally with Haskell
ISBN: 1107452643 ISBN-13(EAN): 9781107452640
Издательство: Cambridge Academ
Рейтинг:
Цена: 7445.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Designed to fit a first- or second-year undergraduate course, this is a thorough overhaul and replacement of Richard Bird`s earlier textbooks. It includes a fresh set of case studies and over 100 exercises with fully worked solutions. The author`s emphasis remains on fundamental techniques for reasoning mathematically about functional programs.

Scala: From a Functional Programming Perspective

Автор: Torra
Название: Scala: From a Functional Programming Perspective
ISBN: 3319464809 ISBN-13(EAN): 9783319464800
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book gives an introduction to the programming language Scala. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types.

Functional and Logic Programming

Автор: Michael Codish; Eijiro Sumii
Название: Functional and Logic Programming
ISBN: 3319071505 ISBN-13(EAN): 9783319071503
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.

Functional and Logic Programming

Автор: Matthias Blume; Naoki Kobayashi; Germ?n Vidal-Orio
Название: Functional and Logic Programming
ISBN: 3642122507 ISBN-13(EAN): 9783642122507
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010.

Functional and Constraint Logic Programming

Автор: Santiago Escobar
Название: Functional and Constraint Logic Programming
ISBN: 3642119980 ISBN-13(EAN): 9783642119989
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming.

Thinking Functionally with Haskell

Автор: Bird
Название: Thinking Functionally with Haskell
ISBN: 1107087201 ISBN-13(EAN): 9781107087200
Издательство: Cambridge Academ
Рейтинг:
Цена: 17424.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Designed to fit a first- or second-year undergraduate course, this is a thorough overhaul and replacement of Richard Bird`s earlier textbooks. It includes a fresh set of case studies and over 100 exercises with fully worked solutions. The author`s emphasis remains on fundamental techniques for reasoning mathematically about functional programs.

Learn Functional Programming with Elixir: New Foundations for a New World

Автор: Almeida Ulisses
Название: Learn Functional Programming with Elixir: New Foundations for a New World
ISBN: 168050245X ISBN-13(EAN): 9781680502459
Издательство: Wiley
Рейтинг:
Цена: 5465.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Functional programming offers useful techniques for building maintainable and scalable software that solves today`s difficult problems. The demand for software written in this way is increasing - you don`t want to miss out. In this book, you`ll not only learn Elixir and its features, you`ll also learn the mindset required to program functionally.

Functional and Logic Programming

Автор: Aart Middeldorp; Taisuke Sato
Название: Functional and Logic Programming
ISBN: 354066677X ISBN-13(EAN): 9783540666776
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ), Belgium (2), Brazil(3), China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr?guez-Artalejo.


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