Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 


Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

The Functional Approach to Programming, Cousineau/Mauny/Callaway

The Functional Approach to Programming

Автор: Cousineau/Mauny/Callaway
Название:  The Functional Approach to Programming   (Функциональный подход к программированию)
Издательство: Cambridge Academ
Классификация:
ISBN: 0521576814
ISBN-13(EAN): 9780521576819
ISBN: 0-521-57681-4
ISBN-13(EAN): 978-0-521-57681-9
Обложка/Формат: Paperback
Страницы: 460
Вес: 0.82 кг.
Язык: ENG
Иллюстрации: 55 b/w illus.
Размер: 24.69 x 17.42 x 2.41 cm
Читательская аудитория: Tertiary education (us: college)
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: A programming course should concentrate as much as possible on a programs logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
Описание: Advanced text on how to program in the functional way; has exercises, solutions and code.
Дополнительное описание:


 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 7 апр 2017
Ориентировочная дата поставки: 2 май 2017
При условии наличия книги у поставщика.
4381.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Computational Semantics with Functional Programming

Автор: van Eijck
Название: Computational Semantics with Functional Programming
ISBN: 0521757606 ISBN-13(EAN): 9780521757607
Издательство: Cambridge Academ
Цена: 2629 р.
Наличие на складе: Поставка под заказ.
Описание: Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.
Купить

Central European Functional Programming School / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

Автор: HorvГЎth ZoltГЎn
Название: Central European Functional Programming School / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
ISBN: 3540468439 ISBN-13(EAN): 9783540468431
Издательство: Springer
Цена: 5389 р.
Наличие на складе: Нет в наличии.
Описание: This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005.The 8 revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping, distributed computing, resource bounded computations, refactoring, verification, testing, generic programming of Web applications, the essence of dataflow programming, patterns, as well as industrial applications in Erlang.
Купить

Drawing Programs: The Theory And Practice Of Schematic Functional Programming

Автор: Drawing Programs: The Theory And Practice Of Schematic Functional Programming
Название: Drawing Programs: The Theory And Practice Of Schematic Functional Programming
ISBN: 1848826176 ISBN-13(EAN): 9781848826175
Издательство: Springer
Цена: 5387 р.
Наличие на складе: Нет в наличии.
Описание: Operating as a practical guide for learning functional programming directly through the diagrams used to define functions, this book describes, and provides access to, a system that gives a level of support akin to that provided in word processing.
Купить

Functional Programming and Input/Output

Автор: Gordon
Название: Functional Programming and Input/Output
ISBN: 0521070074 ISBN-13(EAN): 9780521070072
Издательство: Cambridge Academ
Цена: 2103 р.
Наличие на складе: Поставка под заказ.
Описание: A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.
Купить

Guide to Fortran 2003 Programming

Автор: Brainerd
Название: Guide to Fortran 2003 Programming
ISBN: 1848825420 ISBN-13(EAN): 9781848825420
Издательство: Springer
Цена: 4617 р.
Наличие на складе: Нет в наличии.
Описание: Introduces important features of Fortran 03. This book discusses the basic features needed to write complete Fortran programs. It explores control constructs, modules, procedures, arrays, character strings, data structures and derived types, pointer variables, and object-oriented programming.
Купить

Implementation and Application of Functional Languages

Автор: Olaf Chitil
Название: Implementation and Application of Functional Languages
ISBN: 3540853723 ISBN-13(EAN): 9783540853725
Издательство: Springer
Цена: 5389 р.
Наличие на складе: Нет в наличии.
Описание: Constitutes the refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. This book contains the papers that address theoretical and methodological issues on functional and function-based languages.
Купить

Functional and Logic Programming / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

Автор: Hagiya Masami, Wadler Philip
Название: Functional and Logic Programming / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
ISBN: 3540334386 ISBN-13(EAN): 9783540334385
Издательство: Springer
Цена: 5389 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006.The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Купить

Advanced Functional Programming / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

Автор: Vene Varmo, Uustalu Tarmo
Название: Advanced Functional Programming / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
ISBN: 3540285407 ISBN-13(EAN): 9783540285403
Издательство: Springer
Цена: 5774 р.
Наличие на складе: Нет в наличии.
Описание: This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004.The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, Combining Datatypes and Effects, GEC: a toolkit for Generic Rapid Prototyping, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs.
Купить

Erlang programming

Автор: Cesarini, Francesco Thompson, Simon
Название: Erlang programming
ISBN: 0596518188 ISBN-13(EAN): 9780596518189
Издательство: Wiley
Цена: от 3388 до 4137 р.
Наличие на складе: Есть
Описание: Offers an explanation of Erlang, a programming language ideal for any situation where concurrency, fault-tolerance, and fast response is essential. This book focuses on the language`s syntax and semantics, and explains pattern matching, proper lists, recursion, debugging, networking, and concurrency.
Купить

Sams teach yourself cocoa touch programming in 24 hours

Автор: Baring-gould, Sengan
Название: Sams teach yourself cocoa touch programming in 24 hours
ISBN: 067233125X ISBN-13(EAN): 9780672331251
Издательство: Pearson Education
Цена: 2232 р.
Наличие на складе: Поставка под заказ.
Купить

Programming in haskell

Автор: Hutton, Graham
Название: Programming in haskell
ISBN: 0521692695 ISBN-13(EAN): 9780521692694
Издательство: Cambridge Academ
Цена: 2716 р.
Наличие на складе: Поставка под заказ.
Описание: Textbook on the functional programming language Haskell.
Купить

Pearls of Functional Algorithm Design

Автор: Bird
Название: Pearls of Functional Algorithm Design
ISBN: 0521513383 ISBN-13(EAN): 9780521513388
Издательство: Cambridge Academ
Цена: 4031 р.
Наличие на складе: Поставка под заказ.
Описание: Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.
Купить


 
ООО "Логосфера " Тел:(495) 748-51-16 Факс: (495) 689-73-83 доб.116 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн