Foundations of Software Science and Computational Structures, Luke Ong

Автор: Luca de Alfaro
Название: Foundations of Software Science and Computational Structures
ISBN: 3642005950 ISBN-13(EAN): 9783642005954
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.

Автор: Hanan Samet
Название: Foundations of Multidimensional and Metric Data Structures,
ISBN: 0123694469 ISBN-13(EAN): 9780123694461
Издательство: Elsevier Science
Рейтинг:
Цена: 10441.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses multidimensional point data, object and image-based representations, intervals and small rectangles, and high-dimensional datasets. This book includes a comprehensive survey to spatial and multidimensional data structures and algorithms. It also includes implementation details for some of the most useful data structures.

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.

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

Автор: Milazzo
Название: Software Technologies: Applications and Foundations
ISBN: 3319502298 ISBN-13(EAN): 9783319502298
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.

Автор: Jin Akiyama; Hiro Ito; Toshinori Sakai
Название: Discrete and Computational Geometry and Graphs
ISBN: 3319485318 ISBN-13(EAN): 9783319485317
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 18th Japanese Conference on Discrete and Computational Geometry and Graphs, JDCDGG 2015, held in Kyoto, Japan, in September 2015. The total of 25 papers included in this volume was carefully reviewed and selected from 64 submissions.

Автор: V. Arvind; Sanjiva Prasad
Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540770496 ISBN-13(EAN): 9783540770497
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.