Functional Programming, Glasgow 1992, John Launchbury; Patrick Sansom
Автор: Eric C.R. Hehner Название: A Practical Theory of Programming ISBN: 1461264448 ISBN-13(EAN): 9781461264446 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation.
Автор: 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.
Автор: Dorothy E. Setliff; Rob A. Rutenbar Название: Automatic Programming Applied to VLSI CAD Software: A Case Study ISBN: 0792391128 ISBN-13(EAN): 9780792391128 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Unfortunately, this resemblance is often of little help in actually writing the software for problem X` given the software for problem X. And of course, VLSI design software, and engineering design software in general, is often exquisitely sensitive to some aspects of the domain (technology) in which it operates.
Автор: 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
Автор: 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.
Автор: 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.
Описание: Be prepared for your next job interview with this tried-and-true advice In today's tight job market, competition for programming jobs is hotter than ever. This third edition of a popular guide to the programming interviews includes new code examples, information on the latest languages, new chapters on sorting and design patterns, tips on using LinkedIn, and a downloadable app to help prepare applicants for the interview. Like its earlier editions, this guide covers what software companies and IT departments want their programmers to know and includes plenty of helpful hints to boost your confidence. Looks at current job search and hiring processes, such as the rise of LinkedIn and other social networks as recruiting resources Addresses the most important languages for a programmer to know and features examples in multiple languages Includes new programming questions designed to sharpen your knowledge Features all-new chapters on design patterns and sorting, including how to deal with memory constraints and mobility issues Walk into your next job interview with confidence, knowing you have thoroughly studied this newest edition of Programming Interviews Exposed.
Автор: Nick Symmonds Название: GDI+ Programming in C# and VB .NET ISBN: 159059035X ISBN-13(EAN): 9781590590355 Издательство: Springer Рейтинг: Цена: 7126.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: GDI+ Programming in C# and VB .NET starts out with an explanation of GDI+ and how it relates to GDI. Throughout GDI+ Programming in C# and VB .NET, the author not only explains the different namespaces and classes relating to GDI+, but he also takes time to talk about best practices concerning graphics 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.
Автор: Kei Davis; John Hughes Название: Functional Programming ISBN: 3540196099 ISBN-13(EAN): 9783540196099 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages.
Автор: Manuel Serrano; Jurriaan Hage Название: Trends in Functional Programming ISBN: 3319391097 ISBN-13(EAN): 9783319391090 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.
Автор: F.L. Bauer; Peter Pepper; H. Remus Название: Program Transformation and Programming Environments ISBN: 3642464920 ISBN-13(EAN): 9783642464928 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
