Автор: Qin Lu, Zhang Wenjie, Zhang Ying Название: Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, Sfdi 2020, and 2nd International Work ISBN: 3030611329 ISBN-13(EAN): 9783030611323 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020.
Автор: Nur Zincir-Heywood; Guillaume Bonfante; Mourad Deb Название: Foundations and Practice of Security ISBN: 3030184188 ISBN-13(EAN): 9783030184186 Издательство: Springer Рейтинг: Цена: 61480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. cyber physical security and hardware security;
Автор: Luca de Alfaro Название: Foundations of Software Science and Computational Structures ISBN: 3642005950 ISBN-13(EAN): 9783642005954 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Manuel Mazzara, Iulian Ober Название: Software technologies : applications and foundations : STAF 2018 ISBN: 3030047709 ISBN-13(EAN): 9783030047702 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS).- From Data to Models and Back (DataMod).- Formal Methods for Interactive Systems (FMIS).- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA).- Graph Computation Models (GCM).- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun).- Microservices: Science and Engineering (MSE).- Security for and by Model-Driven Engineering (MDE).
Автор: P.S. Thiagarajan Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540587152 ISBN-13(EAN): 9783540587156 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, held in Madras, India in December 1994. Contributors emphasize algorithms and complexity in addition to more theoretical concepts.
Автор: Maurice Nivat Название: Foundations of Software Science and Computation Structures ISBN: 3540643001 ISBN-13(EAN): 9783540643005 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 19 papers presented in this volume were selected from a total of 44 submissions. Among the topics covered are: formal specification; automata theory; term rewriting and rewriting systems; process algebras; formal language theory; type theory; event structures; and iteration theory.
Автор: Rudrapatna Shyamasundar Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540562877 ISBN-13(EAN): 9783540562870 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.
Автор: Barry Boehm; Hans Dieter Rombach; Marvin V. Zelkow Название: Foundations of Empirical Software Engineering ISBN: 3540245472 ISBN-13(EAN): 9783540245476 Издательство: Springer Рейтинг: Цена: 144410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Captures the scientific contributions of Victor R Basili, who has shaped the field of empirical software engineering. He was the first to claim that software engineering needed to follow the model of other physical sciences and develop an experimental paradigm. This book presents a collection of papers on software engineering.
Автор: Christine Choppy; Oleg Sokolsky Название: Foundations of Computer Software: Future Trends and Techniques for Development ISBN: 3642125654 ISBN-13(EAN): 9783642125652 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 81650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
