Functional and Logic Programming, Aart Middeldorp; Taisuke Sato
Автор: Cousineau/Mauny/Callaway Название: The Functional Approach to Programming ISBN: 0521576814 ISBN-13(EAN): 9780521576819 Издательство: Cambridge Academ Рейтинг: Цена: 9821.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in Standard ML, and give examples of how complex programs can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
Автор: 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;
Автор: 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.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: Kevin Hammond; David N. Turner; Patrick M. Sansom Название: Functional Programming, Glasgow 1994 ISBN: 3540199144 ISBN-13(EAN): 9783540199144 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A summary of new research results on functional programming, which includes discussion of theoretical work in bisimilarity and computer algebra, the creation of a cervical smear scanning system, issues in concurrency and parallelism, and compilation methods for functional languages.
Автор: John T. O`Donnell; Kevin Hammond Название: Functional Programming, Glasgow 1993 ISBN: 3540198792 ISBN-13(EAN): 9783540198796 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings.
Автор: Simon L. Peyton Jones; Graham Hutton; Carsten Kehl Название: Functional Programming, Glasgow 1990 ISBN: 3540196676 ISBN-13(EAN): 9783540196679 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A volume of papers from a workshop in 1990 addressing aspects of functional programming such as lifetimes, strictness and heap contents, the relationship between forward and backward analysis, improved programme compilation, partial applications and parallel programming.
Автор: Vikt?ria Zs?k; Zolt?n Horv?th; Lehel Csat? Название: Central European Functional Programming School ISBN: 3319159399 ISBN-13(EAN): 9783319159393 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.
Автор: Jurriaan Hage; Jay McCarthy Название: Trends in Functional Programming ISBN: 3319146742 ISBN-13(EAN): 9783319146744 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru