Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Unifying Theories of Programming, David Naumann


Варианты приобретения
Цена: 37270.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 178 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: David Naumann
Название:  Unifying Theories of Programming
ISBN: 9783319148052
Издательство: Springer
Классификация:



ISBN-10: 3319148052
Обложка/Формат: Paperback
Страницы: 143
Вес: 0.23 кг.
Дата издания: 04.02.2015
Серия: Theoretical Computer Science and General Issues
Язык: English
Размер: 234 x 156 x 8
Основная тема: Computer Science
Подзаголовок: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.

A Primer on Scientific Programming with Python

Автор: 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

Beginning Programming with C For Dummies

Автор: 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.

Beginning lua programming

Автор: 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.

Games: Unifying Logic, Language, and Philosophy

Автор: Ondrej Majer; Ahti-Veikko Pietarinen; Tero Tulenhe
Название: Games: Unifying Logic, Language, and Philosophy
ISBN: 9048181151 ISBN-13(EAN): 9789048181155
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded.

Theories of Programming and Formal Methods

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Theories of Programming and Formal Methods
ISBN: 3642396976 ISBN-13(EAN): 9783642396977
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Unifying Theories of Programming

Автор: Jonathan P. Bowen; Huibiao Zhu
Название: Unifying Theories of Programming
ISBN: 3319522272 ISBN-13(EAN): 9783319522272
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.

Unifying Theories of Programming and Formal Engineering Methods

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 3642397204 ISBN-13(EAN): 9783642397202
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Programming with  Mathematica ®

Автор: 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.

Programming Distributed Computing Systems

Автор: 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.

Unifying Theories of Programming

Автор: Andrew Butterfield
Название: Unifying Theories of Programming
ISBN: 3642145205 ISBN-13(EAN): 9783642145209
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Unifying Petri Nets

Автор: Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzeg
Название: Unifying Petri Nets
ISBN: 3540430679 ISBN-13(EAN): 9783540430674
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Introduction to Computation and Programming Using Python: With Application to Understanding Data

Автор: Guttag John V.
Название: Introduction to Computation and Programming Using Python: With Application to Understanding Data
ISBN: 0262529629 ISBN-13(EAN): 9780262529624
Издательство: MIT Press
Рейтинг:
Цена: 30630.00 T
Наличие на складе: Невозможна поставка.
Описание:

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.



Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия