Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 107220.00 T Наличие на складе: Невозможна поставка. Описание:
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Автор: Langtangen Hans Petter Название: A Primer on Scientific Programming with Python ISBN: 3662498863 ISBN-13(EAN): 9783662498866 Издательство: Springer Рейтинг: Цена: 32600.00 T Наличие на складе: Есть Описание: The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches 'Matlab-style' and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science.From the reviews: Langtangen … does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objects and functions and embracing the object-oriented paradigm. … Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010Those of us who have learned scientific programming in Python ‘on the streets’ could be a little jealous of students who have the opportunity to take a course out of Langtangen’s Primer.” John D. Cook, The Mathematical Association of America, September 2011This book goes through Python in particular, and programming in general, via tasks that scientists will likely perform. It contains valuable information for students new to scientific computing and would be the perfect bridge between an introduction to programming and an advanced course on numerical methods or computational science.Alex Small, IEEE, CiSE Vol. 14 (2), March?/April 2012 “This fourth edition is awonderful, inclusive textbook that covers pretty much everything one needs toknow to go from zero to fairly sophisticated scientific programming in Python…”Joan Horvath, Computing Reviews, March2015
Автор: Thomas Dave Название: Programming Ruby 1.9 ISBN: 1934356085 ISBN-13(EAN): 9781934356081 Издательство: Wiley Рейтинг: Цена: 40650.00 T Наличие на складе: Поставка под заказ. Описание: Ruby 1.9 is the latest version of Ruby. It has many compelling features, including multinationalization support, new block scoping, and better performance. At the same time, the current Ruby 1.8 is still being maintained and is widely used.
Автор: Jung, Kurt Brown, Aaron Название: Beginning lua programming ISBN: 0470069171 ISBN-13(EAN): 9780470069172 Издательство: Wiley Рейтинг: Цена: 28500.00 T Наличие на складе: Поставка под заказ. Описание: Suitable for those affected by Parkinson`s disease, this book helps discover how to keep a positive attitude and lead an active, productive life. It also provides coping skills, first hand advice, and practical tools, such as worksheets to assess care options, questions to ask doctors, and listings of care providers. Presents the fundamentals of programming with Lua. This book explains standard Lua functions, and how to take advantage of free Lua community resources. It integrates code samples throughout the chapters to demonstrate how to apply the information so that readers can write your own programs.
Автор: Wellin Название: Programming with Mathematica ® ISBN: 1107009464 ISBN-13(EAN): 9781107009462 Издательство: Cambridge Academ Рейтинг: Цена: 79200.00 T Наличие на складе: Поставка под заказ. Описание: Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica can be used to solve problems in science, engineering, economics/finance, computational linguistics, geoscience, bioinformatics, and a range of other fields. The book will appeal to students, researchers and programmers wishing to further their understanding of Mathematica. Designed to suit users of any ability, it assumes no formal knowledge of programming so it is ideal for self-study. Over 290 exercises are provided to challenge the reader's understanding of the material covered and these provide ample opportunity to practice using the language. Mathematica notebooks containing examples, programs and solutions to exercises are available from www.cambridge.org/wellin.
Автор: Varela Carlos A Название: Programming Distributed Computing Systems ISBN: 0262018985 ISBN-13(EAN): 9780262018982 Издательство: MIT Press Рейтинг: Цена: 38500.00 T Наличие на складе: Нет в наличии. Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Автор: Gookin Dan Название: Beginning Programming with C For Dummies ISBN: 1118737636 ISBN-13(EAN): 9781118737637 Издательство: Wiley Рейтинг: Цена: 23220.00 T Наличие на складе: Поставка под заказ. Описание: Learn the basics of programming with C with this fun and friendly guide! C offers a reliable, strong foundation for programming and serves as a stepping stone upon which to expand your knowledge and learn additional programming languages.
The new edition of an introductory text that teaches students the art of computational problem solving, covering topics ranging from simple algorithms to information visualization.
This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of data science for using computation to model and interpret data. The book is based on an MIT course (which became the most popular course offered through MIT's OpenCourseWare) and was developed for use not only in a conventional classroom but in in a massive open online course (MOOC). This new edition has been updated for Python 3, reorganized to make it easier to use for courses that cover only a subset of the material, and offers additional material including five new chapters.
Students are introduced to Python and the basics of programming in the context of such computational concepts and techniques as exhaustive enumeration, bisection search, and efficient approximation algorithms. Although it covers such traditional topics as computational complexity and simple algorithms, the book focuses on a wide range of topics not found in most introductory texts, including information visualization, simulations to model randomness, computational techniques to understand data, and statistical techniques that inform (and misinform) as well as two related but relatively advanced topics: optimization problems and dynamic programming. This edition offers expanded material on statistics and machine learning and new chapters on Frequentist and Bayesian statistics.
Автор: Matloff Norman Название: The Art of R Programming: A Tour of Statistical Software Design ISBN: 1593273843 ISBN-13(EAN): 9781593273842 Издательство: Random House (USA) Рейтинг: Цена: 24490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
R is the world's most popular language for developing statistical software: Archaeologists use it to track the spread of ancient civilizations, drug companies use it to discover which medications are safe and effective, and actuaries use it to assess financial risks and keep economies running smoothly.
The Art of R Programming takes you on a guided tour of software development with R, from basic types and data structures to advanced topics like closures, recursion, and anonymous functions. No statistical knowledge is required, and your programming skills can range from hobbyist to pro.
Along the way, you'll learn about functional and object-oriented programming, running mathematical simulations, and rearranging complex data into simpler, more useful formats. You'll also learn to:
Create artful graphs to visualize complex data sets and functions
Write more efficient code using parallel R and vectorization
Interface R with C/C++ and Python for increased speed or functionality
Find new R packages for text analysis, image manipulation, and more
Squash annoying bugs with advanced debugging techniques
Whether you're designing aircraft, forecasting the weather, or you just need to tame your data, The Art of R Programming is your guide to harnessing the power of statistical computing.
Автор: Lucio Di Jasio Название: Programming 16-Bit PIC Microcontrollers in C, ISBN: 1856178706 ISBN-13(EAN): 9781856178709 Издательство: Elsevier Science Рейтинг: Цена: 49390.00 T Наличие на складе: Поставка под заказ. Описание: Offers information you need to know about the architecture of 16-Bit PIC Microcontroller chips: how to program them, how to test them, and how to debug them. This title is suitable for experienced PIC users, including embedded engineers, programmers, designers, and SW and HW engineers, and new comers alike.
Автор: Michael L. Scott Название: Programming Language Pragmatics ISBN: 0124104096 ISBN-13(EAN): 9780124104099 Издательство: Elsevier Science Рейтинг: Цена: 79710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development.
The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages, from traditional languages like C to the latest in functional, scripting, and object-oriented programming. This fourth edition has been heavily revised throughout, with expanded coverage of type systems and functional programming, a unified treatment of polymorphism, highlights of the newest language standards, and examples featuring the ARM and x86 64-bit architectures.
Updated coverage of the latest developments in programming language design, including C & C]+11, Java 8, C# 5, Scala, Go, Swift, Python 3, and HTML 5
Updated treatment of functional programming, with extensive coverage of OCaml
New chapters devoted to type systems and composite types
Unified and updated treatment of polymorphism in all its forms
New examples featuring the ARM and x86 64-bit architectures
Автор: Dave Thomas Название: Programming Elixir 1.3: Functional |> Concurrent |> Pragmatic |> Fun ISBN: 168050200X ISBN-13(EAN): 9781680502008 Издательство: Wiley Рейтинг: Цена: 32210.00 T Наличие на складе: Поставка под заказ. Описание: Elixir`s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it`s Elixir. This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.3.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
