Unifying Theories of Programming, Jonathan P. Bowen; Huibiao Zhu
Автор: Langtangen Hans Petter Название: A Primer on Scientific Programming with Python ISBN: 3662498863 ISBN-13(EAN): 9783662498866 Издательство: Springer Рейтинг: Цена: 4890.00 р. 6986.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
Автор: Reynolds Название: Theories of Programming Languages ISBN: 0521594146 ISBN-13(EAN): 9780521594141 Издательство: Cambridge Academ Рейтинг: Цена: 10613.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Автор: Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzeg Название: Unifying Petri Nets ISBN: 3540430679 ISBN-13(EAN): 9783540430674 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to unifying Petri nets in a systematic and coherent way. The chapters are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Andrew Butterfield Название: Unifying Theories of Programming ISBN: 3642145205 ISBN-13(EAN): 9783642145209 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu Название: Unifying Theories of Programming and Formal Engineering Methods ISBN: 3642397204 ISBN-13(EAN): 9783642397202 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.
Автор: Tamas Gergely; Laszlo Ury Название: First-Order Programming Theories ISBN: 3642635032 ISBN-13(EAN): 9783642635038 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
Автор: 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.
Автор: Matloff Norman Название: The Art of R Programming: A Tour of Statistical Software Design ISBN: 1593273843 ISBN-13(EAN): 9781593273842 Издательство: Random House (USA) Рейтинг: Цена: 3674.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.
Автор: David Naumann Название: Unifying Theories of Programming ISBN: 3319148052 ISBN-13(EAN): 9783319148052 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
