Mathematical Foundations of Programming Semantics, Stephen Brookes; Michael Main; Austin Melton; Mich

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

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

Автор: P. Dembinski
Название: Mathematical Foundations of Computer Science 1980
ISBN: 354010027X ISBN-13(EAN): 9783540100270
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Igor Privara; Peter Ruzicka
Название: Mathematical Foundations of Computer Science 1997
ISBN: 3540634371 ISBN-13(EAN): 9783540634379
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS `97. The papers cover a range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars and formal languages.

Автор: Mogens Nielsen; Branislav Rovan
Название: Mathematical Foundations of Computer Science 2000
ISBN: 3540679014 ISBN-13(EAN): 9783540679011
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text gives an overview on research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing should benefit from this book.

Автор: Harper
Название: Practical Foundations for Programming Languages
ISBN: 1107150302 ISBN-13(EAN): 9781107150300
Издательство: Cambridge Academ
Рейтинг:
Цена: 9978.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.

Автор: Ahmed
Название: Foundations of Software Engineering
ISBN: 1498737595 ISBN-13(EAN): 9781498737593
Издательство: Taylor&Francis
Рейтинг:
Цена: 12248.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.

Автор: J.W.de Bakker; W.-P.de Roever; G. Rozenberg
Название: Semantics: Foundations and Applications
ISBN: 3540565965 ISBN-13(EAN): 9783540565963
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is based on a workshop on the semantics of programming languages held in The Netherlands in June 1992. A wide range of topics in foundations and applications are covered. The workshop was an activity of the Netherlands NFI project REX.

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

Автор: Michael G. Main; Austin C. Melton; Michael W. Misl
Название: Mathematical Foundations of Programming Semantics
ISBN: 0387973753 ISBN-13(EAN): 9780387973753
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael Main; Austin Melton; Michael Mislove; Davi
Название: Mathematical Foundations of Programming Language Semantics
ISBN: 3540190201 ISBN-13(EAN): 9783540190202
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.