Functional and Logic Programming, Herbert Kuchen; Kazunori Ueda

Автор: Mauro Boscarol; Luigia Carlucci Aiello; Giorgio Le
Название: Foundations of Logic and Functional Programming
ISBN: 3540191291 ISBN-13(EAN): 9783540191292
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jacques Garrigue; Manuel Hermenegildo
Название: Functional and Logic Programming
ISBN: 3540789685 ISBN-13(EAN): 9783540789680
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. This book includes papers that are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, and logic and lambda-calculus.

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

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

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

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

Автор: Rogardt Heldal; Carsten K. Holst; Philip Wadler
Название: Functional Programming, Glasgow 1991
ISBN: 3540197605 ISBN-13(EAN): 9783540197607
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in collaboration with the British Computer Society

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

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

Автор: Dave Thomas
Название: Programming Elixir 1.3: Functional |> Concurrent |> Pragmatic |> Fun
ISBN: 168050200X ISBN-13(EAN): 9781680502008
Издательство: Wiley
Рейтинг:
Цена: 4831.00 р.
Наличие на складе: Поставка под заказ.

Описание: Elixir`s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it`s Elixir. This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.3.