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

Mathematical Foundations of Software Engineering, O`Regan


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

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

Автор: O`Regan
Название:  Mathematical Foundations of Software Engineering
ISBN: 9783031262111
Издательство: Springer
Классификация:



ISBN-10: 3031262115
Обложка/Формат: Hardback
Страницы: 538
Вес: 0.72 кг.
Дата издания: 24.04.2023
Серия: Texts in Computer Science
Язык: English
Издание: 1st ed. 2023
Иллюстрации: 96 illustrations, color; 56 illustrations, black and white; xxxvii, 519 p. 152 illus., 96 illus. in color.
Размер: 165 x 243 x 234
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: A practical guide to essentials
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications. Topics and features: * Addresses core mathematics for critical thinking and problem solving * Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument. * Examines number theory and its applications to cryptography * Considers the underlying mathematics of error-correcting codes * Discusses graph theory and its applications to modelling networks * Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking * Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research * Discusses software reliability and dependability and explains formal methods used to derive a program from its specification * Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics * Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.
Дополнительное описание: 1. Fundamentals of Software Engineering.- 2. Software Engineering Mathematics.- 3. Mathematical Prerequisites.- 4. Introduction to Algorithms.- 5.- Algebra.- 6. Mathematical Induction and Recursion.- 7. Graph Theory.- 8. Sequences, Series and Permutations


An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 1108711820 ISBN-13(EAN): 9781108711821
Издательство: Cambridge Academ
Рейтинг:
Цена: 48570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151982 ISBN-13(EAN): 9783540151982
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Dynamic Documents with R and knitr, Second Edition

Автор: Xie Y.
Название: Dynamic Documents with R and knitr, Second Edition
ISBN: 1498716962 ISBN-13(EAN): 9781498716963
Издательство: Taylor&Francis
Рейтинг:
Цена: 78590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Quickly and Easily Write Dynamic Documents

Suitable for both beginners and advanced users, Dynamic Documents with R and knitr, Second Edition makes writing statistical reports easier by integrating computing directly with reporting. Reports range from homework, projects, exams, books, blogs, and web pages to virtually any documents related to statistical graphics, computing, and data analysis. The book covers basic applications for beginners while guiding power users in understanding the extensibility of the knitr package.

New to the Second Edition

  • A new chapter that introduces R Markdown v2
  • Changes that reflect improvements in the knitr package
  • New sections on generating tables, defining custom printing methods for objects in code chunks, the C/Fortran engines, the Stan engine, running engines in a persistent session, and starting a local server to serve dynamic documents

Boost Your Productivity in Statistical Report Writing and Make Your Scientific Computing with R Reproducible

Like its highly praised predecessor, this edition shows you how to improve your efficiency in writing reports. The book takes you from program output to publication-quality reports, helping you fine-tune every aspect of your report.


Mathematical Foundations of Computer Science 2015

Автор: Giuseppe F. Italiano; Giovanni Pighizzini; Donald
Название: Mathematical Foundations of Computer Science 2015
ISBN: 3662480530 ISBN-13(EAN): 9783662480533
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.

Proofs and Ideas: A Prelude to Advanced Mathematics

Автор: B. Sethuraman
Название: Proofs and Ideas: A Prelude to Advanced Mathematics
ISBN: 1470465140 ISBN-13(EAN): 9781470465148
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 71060.00 T
Наличие на складе: Нет в наличии.
Описание: Proofs and Ideas serves as a gentle introduction to advanced mathematics for students who previously have not had extensive exposure to proofs. It is intended to ease the student's transition from algorithmic mathematics to the world of mathematics that is built around proofs and concepts.The spirit of the book is that the basic tools of abstract mathematics are best developed in context and that creativity and imagination are at the core of mathematics. So, while the book has chapters on statements and sets and functions and induction, the bulk of the book focuses on core mathematical ideas and on developing intuition. Along with chapters on elementary combinatorics and beginning number theory, this book contains introductory chapters on real analysis, group theory, and graph theory that serve as gentle first exposures to their respective areas. The book contains hundreds of exercises, both routine and non-routine.This book has been used for a transition to advanced mathematics courses at California State University, Northridge, as well as for a general education course on mathematical reasoning at Krea University, India.

Algebras, Lattices, Varieties: Volume III

Автор: George F. McNulty, Ralph N. McKenzie, Ralph S. Freese, Walter F. Taylor
Название: Algebras, Lattices, Varieties: Volume III
ISBN: 1470467984 ISBN-13(EAN): 9781470467982
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 104500.00 T
Наличие на складе: Нет в наличии.
Описание: This book is the third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.

The Art of Feature Engineering: Essentials for Machine Learning

Автор: Pablo Duboue
Название: The Art of Feature Engineering: Essentials for Machine Learning
ISBN: 1108709389 ISBN-13(EAN): 9781108709385
Издательство: Cambridge Academ
Рейтинг:
Цена: 46470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a guide for data scientists who want to use feature engineering to improve the performance of their machine learning solutions. The book provides a unified view of the field, beginning with basic concepts and techniques, followed by a cross-domain approach to advanced topics, like texts and images, with hands-on case studies.

Prime Numbers and the Riemann Hypothesis

Автор: Mazur
Название: Prime Numbers and the Riemann Hypothesis
ISBN: 1107101921 ISBN-13(EAN): 9781107101920
Издательство: Cambridge Academ
Рейтинг:
Цена: 55970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces prime numbers and explains the celebrated, unsolved Riemann hypothesis in a direct manner. Suitable for both scholars and those with a minimal mathematical background.

Errors, Blunders, and Lies

Автор: Salsburg
Название: Errors, Blunders, and Lies
ISBN: 1138726982 ISBN-13(EAN): 9781138726987
Издательство: Taylor&Francis
Рейтинг:
Цена: 102080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this follow-up to the author`s bestselling classic, "The Lady Tasting Tea," David Salsburg takes a fresh and insightful look at the history of statistical development by examing errors, blunders and outright lies in many different models taken from a variety of fields including economics, biology, physics and sports.

Errors, Blunders And Lies

Автор: Salsburg
Название: Errors, Blunders And Lies
ISBN: 1498795781 ISBN-13(EAN): 9781498795784
Издательство: Taylor&Francis
Рейтинг:
Цена: 30610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this follow-up to the author`s bestselling classic, "The Lady Tasting Tea," David Salsburg takes a fresh and insightful look at the history of statistical development by examing errors, blunders and outright lies in many different models taken from a variety of fields including economics, biology, physics and sports.

Mathematical Foundations of Computer Science 2015

Автор: Giuseppe F Italiano; Giovanni Pighizzini; Donald T
Название: Mathematical Foundations of Computer Science 2015
ISBN: 3662480565 ISBN-13(EAN): 9783662480564
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.

Foundations of Generic Optimization

Автор: R. Lowen; M. Iglesias; B. Naudts; A. Verschoren; A
Название: Foundations of Generic Optimization
ISBN: 9048169224 ISBN-13(EAN): 9789048169221
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with combinatorial aspects of epistasis, a notion that existed for years in genetics and appeared in the ?eld of evolutionary algorithms in the early 1990s. Even thoughthe?rst chapterputsepistasisintheperspective ofevolutionary algorithms and arti?cial intelligence, and applications occasionally pop up in other chapters, thisbookisessentiallyaboutmathematics, aboutcombinatorialtechniques to compute in an e?cient and mathematically elegant way what will be de?ned as normalized epistasis. Some of the material in this book ?nds its origin in the PhD theses of Hugo Van Hove 97] and Dominique Suys 95]. The sixth chapter also contains material that appeared in the dissertation of Luk Schoofs 84]. Together with that of M. Teresa Iglesias 36], these dissertations form the backbone of a decade of mathematical ventures in the world of epistasis. The authors wish to acknowledge support from the Flemish Fund of Scienti?c - search (FWO-Vlaanderen) and of the Xunta de Galicia. They also wish to explicitly mentiontheintellectualandmoralsupporttheyreceivedthroughoutthepreparation of this work from their family and their colleagues Emilio Villanueva, Jose Mar a Barja and Arnold Beckelheimer, as well as our local T T Xpert Jan Adriaenssens.


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