Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: Random House (USA) Рейтинг: Цена: 14484.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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 Рейтинг: Цена: 4268.00 р. 6097.00-30% Наличие на складе: Есть (1 шт.) Описание: 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
Автор: Gookin Dan Название: Beginning Programming with C For Dummies ISBN: 1118737636 ISBN-13(EAN): 9781118737637 Издательство: Wiley Рейтинг: Цена: 3483.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Jung, Kurt Brown, Aaron Название: Beginning lua programming ISBN: 0470069171 ISBN-13(EAN): 9780470069172 Издательство: Wiley Рейтинг: Цена: 4275.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Varela Carlos A Название: Programming Distributed Computing Systems ISBN: 0262018985 ISBN-13(EAN): 9780262018982 Издательство: MIT Press Рейтинг: Цена: 5775.00 р. Наличие на складе: Нет в наличии.
Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Автор: Wellin Название: Programming with Mathematica ® ISBN: 1107009464 ISBN-13(EAN): 9781107009462 Издательство: Cambridge Academ Рейтинг: Цена: 11880.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Matloff Norman Название: The Art of R Programming: A Tour of Statistical Software Design ISBN: 1593273843 ISBN-13(EAN): 9781593273842 Издательство: Random House (USA) Рейтинг: Цена: 4597.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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 Рейтинг: Цена: 7409.00 р. Наличие на складе: Нет в наличии.
Описание: 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.
Автор: Jeffers, James Название: Intel Xeon Phi Processor High Performance Programming ISBN: 0128091940 ISBN-13(EAN): 9780128091944 Издательство: Elsevier Science Рейтинг: Цена: 7362.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intel Xeon Phi Processor High Performance Programming is an all-in-one source of information for programming the Second-Generation Intel Xeon Phi product family also called Knights Landing. The authors provide detailed and timely Knights Landingspecific details, programming advice, and real-world examples. The authors distill their years of Xeon Phi programming experience coupled with insights from many expert customers — Intel Field Engineers, Application Engineers, and Technical Consulting Engineers — to create this authoritative book on theessentials of programming for Intel Xeon Phi products. Intel® Xeon Phi™ Processor High-Performance Programming is useful even before you ever program a system with an Intel Xeon Phi processor. To help ensure that your applications run at maximum efficiency, the authors emphasize key techniques for programming any modern parallel computing system whether based on Intel Xeon processors, Intel Xeon Phi processors, or other high-performance microprocessors. Applying these techniques will generally increase your program performance on any system and prepareyou better for Intel Xeon Phi processors.
Автор: Thomas Dave Название: Programming Ruby 1.9 ISBN: 1934356085 ISBN-13(EAN): 9781934356081 Издательство: Wiley Рейтинг: Цена: 6098.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Jorgensen Название: Software Testing ISBN: 1466560681 ISBN-13(EAN): 9781466560680 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Нет в наличии.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
