Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko
Автор: Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko Название: Ernst Denert Award for Software Engineering 2019: Practice Meets Foundations ISBN: 3030586197 ISBN-13(EAN): 9783030586195 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Ernst Denert Software Engineering Awards 2019.- Software Engineering.- Applications of Synchronized Pushdown Systems.- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development.- Applied Artifact-Based Analysis for Architecture Consistency Checking.- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation.- Actionable Program Analyses for Improving Software Performance.
Ernst Denert Software Engineering Awards 2019.- Software Engineering.- Applications of Synchronized Pushdown Systems.- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development.- Applied Artifact-Based Analysis for Architecture Consistency Checking.- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation.- Actionable Program Analyses for Improving Software Performance.
Автор: 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.
Автор: 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;
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz