Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Types and Programming Languages

Компьютерные >> Программирование





Разместил: Energy555

16-06-2012, 21:54

Просмотров: 469





Types and Programming Languages


Types and Programming Languages is a book by Benjamin C. Pierce on type systems. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."


Название: Types and Programming Languages
Автор: Benjamin C. Pierce
Издательство: The MIT Press
Год издания: 2002
Страниц: 645
ISBN: 0-262-16209-1
Язык: Английский
Формат: PDF
Качество: отличное
Размер: 5 Мб










Похожие публикации

C++ All-in-one For Dummies C++ All-in-one For Dummies
Get ahead of the C++ curve to stay in the game C++ is the workhorse of programming languages and remains one of the most widely used programming languages today. Its cross-platform, multi-functional, and updates are typically open-source.

Programming C# 5.0 Programming C# 5.0
After a dozen years of incremental changes, C# has become one of the most versatile programming languages available. With this comprehensive guide, you’ll learn just how powerful the combination of C# 5.0 and .NET 4.5 can be. Author Ian Griffiths

Illustrated C# 2012 Illustrated C# 2012
This book presents the C# 5.0 language in a uniquely succinct and visual format. Often in programming books, the information can be hidden in a vast sea of words. As a programmer who has over the years used a dozen programming languages, the author

Programming in Go: Creating Applications for the 21st Century Programming in Go: Creating Applications for the 21st Century
Today’s most exciting new programming language, Go, is designed from the ground up to help you easily leverage all the power of today’s multicore hardware. With this guide, pioneering Go programmer Mark Summerfield shows how to write code that takes

LabVIEW: Advanced Programming Techniques LabVIEW: Advanced Programming Techniques
The graphical nature of LabVIEW makes it ideal for test and measurement applications and its use brings significant improvements in productivity over conventional programming languages.

Theory of Linear and Integer Programming Theory of Linear and Integer Programming
Theory of Linear and Integer Programming Alexander Schrijver Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands This book describes the theory of linear and integer programming and surveys the algorithms for linear and integer

Managed DirectX 9 Kick Start: Graphics and Game Programming Managed DirectX 9 Kick Start: Graphics and Game Programming
Managed DirectX was released with the latest version of the core DirectX libraries in DirectX9. It enables developers using the new .NET languages (i.e. C#, VB.NET, etc.) to develop rich multimedia applications with DirectX. Unfortunately the

A Discipline of Programming A Discipline of Programming
He begins by considering the questions, "What is an algorithm?" and "What are we doing when we program?" These questions lead him to an interesting digression on the semantics of programming languages, which, in turn, leads to essays on programming

Mastering Regular Expressions Mastering Regular Expressions
This book is about a powerful tool called "regular expressions." Here, you will learn how to use regular expressions to solve problems and get the most out of tools that provide them. Not only that, but much more: this book is about mastering

Bertsekas D.P.-Nonlinear Programming Bertsekas D.P.-Nonlinear Programming
Автор: Bertsekas D.P. Описание:This extensive rigorous texbook, developed through instruction at MIT, focuses on nonlinear and other types of optimization: iterative algorithms for constrained and unconstrained optimization, Lagrange multipliers and




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов