Оформить заказ
+7(495) 980-12-10
  10:00-18:00 пн-сб
    shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
  Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 
 
Книги
Книги зарубежных издательств на иностранных языках

Книги российских издательств

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

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


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 кг.
Дата издания: 29.10.1998
Язык: 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 Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 902шт.  Склад Америка: 127шт.  
При оформлении заказа до: 29 дек 2017
Ориентировочная дата поставки: конец Января
4382.00
 Добавить в корзину


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.

в Мои желания
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.

в Мои желания
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
Рейтинг:
Цена: 5386 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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'.

в Мои желания
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.

в Мои желания
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.

в Мои желания
Programming in haskell

Автор: Hutton, Graham
Название: Programming in haskell
ISBN: 0521692695 ISBN-13(EAN): 9780521692694
Издательство: Cambridge Academ
Рейтинг:
Цена: 2716 р.
Наличие на складе: Поставка под заказ.

Описание: Textbook on the functional programming language Haskell.

в Мои желания
Erlang programming

Автор: Cesarini, Francesco Thompson, Simon
Название: Erlang programming
ISBN: 0596518188 ISBN-13(EAN): 9780596518189
Издательство: Wiley
Рейтинг:
Цена: от 3388 р.
Наличие на складе: Есть

Описание: 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.

в Мои желания
Guide to Fortran 2003 Programming

Автор: Brainerd
Название: Guide to Fortran 2003 Programming
ISBN: 1848825420 ISBN-13(EAN): 9781848825420
Издательство: Springer
Рейтинг:
Цена: 4616 р.
Наличие на складе: Нет в наличии.

Описание: 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.

в Мои желания
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.

в Мои желания

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
: : : : : : : : : : : : : : : : : : : :