Автор: Maurice Herlihy Название: The Art of Multiprocessor Programming ISBN: 0124159508 ISBN-13(EAN): 9780124159501 Издательство: Elsevier Science Рейтинг: Цена: 9720.00 р. Наличие на складе: Поставка под заказ.
Описание: The Art of Multiprocessor Programming, Second Edition provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.
Описание: Based on their experience at Google, software engineers Titus Winters and Hyrum Wright, along with technical writer Tom Manshreck, present a candid and insightful look at how some of the world`s leading practitioners construct and maintain software.
Описание: Packed with code examples, this comprehensive book shows you how to be productive with the language and ecosystem right away. You`ll learn why Scala is ideal for building today`s highly scalable, data-centric applications, while maximizing developer productivity.
Автор: John P. Gallagher; Martin Sulzmann Название: Functional and Logic Programming ISBN: 3319906852 ISBN-13(EAN): 9783319906850 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Anil Madhavapeddy, Yaron Minsky Название: Real World OCaml: Functional Programming for the Masses ISBN: 100912580X ISBN-13(EAN): 9781009125802 Издательство: Cambridge Academ Рейтинг: Цена: 5702.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Real World OCaml provides thorough coverage of OCaml`s language features, starting with a lightweight guided tour, and then exploring every major feature in depth, including functors and GADTs. It is an essential guide for programmers looking to learn statically typed functional programming. Also available as open access on Cambridge Core.
Автор: Vikt?ria Zs?k; Zolt?n Porkol?b; Zolt?n Horv?th Название: Central European Functional Programming School ISBN: 3030283453 ISBN-13(EAN): 9783030283452 Издательство: Springer Рейтинг: Цена: 9222.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
Описание: Enhancing expressivity of checked corecursive streams.- Improving Type Error Reporting for Type Classes.- Asynchronous Unfold/Fold Transformation for Fixpoint Logic.- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.- Generating C (System Description).- Translation Certification for Smart Contracts.- Zipping Strategies and Attribute Grammars.- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.- Scheduling Complexity of Interleaving Search.- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description).- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl).- Explanations as Programs in Probabilistic Logic Programming.- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data.- A Lazy Desugaring System for Evaluating Programs with Sugars.- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
Автор: Jean-Pierre Banatre; P. Fradet; Simon B. Jones; A. Название: Prospects for Functional Programming in Software Engineering ISBN: 3540538526 ISBN-13(EAN): 9783540538523 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.
Автор: 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
Автор: Wang Название: Trends in Functional Programming ISBN: 3319897187 ISBN-13(EAN): 9783319897189 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017.
Автор: 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.
Автор: Bevilacqua Linn Michael Название: Functional Programming Patterns in Scala and Clojure ISBN: 1937785475 ISBN-13(EAN): 9781937785475 Издательство: Wiley Рейтинг: Цена: 4592.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Solve real-life programming problems with a fraction of the code that pure object-oriented programming requires. Use Scala and Clojure to solve in-depth problems with two sets of patterns: object-oriented patterns that become more concise with functional programming, and natively functional patterns.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
