Описание: Shows you how to analyze, design, and write serious object-oriented software. This work helps you learn how to: use OO principles like encapsulation and delegation to build applications that are flexible; apply the Open-Closed Principle (OCP) and the Single Responsibility Principle (SRP) to promote reuse of your code; among others.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545799 ISBN-13(EAN): 9783662545799 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545764 ISBN-13(EAN): 9783662545768 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talk.- Validation, Synthesis and Optimization for Cyber-Physical Systems.- Verification Techniques.- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP.- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.- Bounded Quantifier Instantiation for Checking Inductive Invariants.- Proving Termination through Conditional Termination.-Efficient Certified Resolution Proof Checking.- Precise Widening Operators for Proving Termination by Abstract Interpretation.- Automatic Verification of Finite Precision Implementations of Linear Controllers.- Learning.- Learning Symbolic Automata.- ML for ML: Learning Cost Semantics by Experiment.- A Novel Learning Algorithm for B uchi Automata based on Family of DFAs and Classification Trees.- Synthesis.- Hierarchical Network Formation Games.- Synthesis of Recursive ADT Transformers from Reusable Templates.- Counterexample-Guided Model Synthesis.- Interpolation-Based GR(1) Assumptions Refinement.- Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.- Scaling Enumerative Program Synthesis via Divide and Conquer.- Towards Parallel Boolean Functional Synthesis.- Encodings of Bounded Synthesis.- Tools.- HQSpre - An Effective Preprocessor for QBF and DQBF.- RPP: Automatic Proof of Relational Properties by Self-Composition.- autoCode4: Structural Controller Synthesis.- Automata.- Lazy Automata Techniques for WS1S.- From LTL and limit-deterministic Bьchi automata to deterministic parity automata.- Index appearance record for transforming Rabin automata into parity automata.- Minimization of Visibly Pushdown Automata Using Partial Max-SAT.- Concurrency and Bisimulation.- CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarante.- Fair Termination for Parameterized Probabilistic Concurrent Systems.- Forward Bisimulations for Nondeterministic Symbolic Finite Automata.- Up-To Techniques for Weighted Systems.- Hybrid Systems.- Rigorous Simulation-Based Analysis of Linear Hybrid Systems.- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata.- Counterexample-guided Refinement of Template Polyhedra.
Автор: Dmitry I. Ignatov; Mikhail Yu. Khachay; Valeri G. Название: Analysis of Images, Social Networks and Texts ISBN: 3319529196 ISBN-13(EAN): 9783319529196 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Conference on Analysis of Images, Social Networks and Texts, AIST 2016, held in Yekaterinburg, Russia, in April 2016.The 23 full papers, 7 short papers, and 3 industrial papers were carefully reviewed and selected from 142 submissions.
Автор: Zechao Li Название: Understanding-Oriented Multimedia Content Analysis ISBN: 9811036888 ISBN-13(EAN): 9789811036880 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a systematic introduction to an understanding-oriented approach to multimedia content analysis. It integrates the visual understanding and learning models into a unified framework, within which the visual understanding guides the model learning while the learned models improve the visual understanding.
Автор: Alessandro Abate; Gilles Geeraerts Название: Formal Modeling and Analysis of Timed Systems ISBN: 331965764X ISBN-13(EAN): 9783319657646 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Автор: Friedemann K?ster Название: Multidimensional Analysis of Conversational Telephone Speech ISBN: 9811052239 ISBN-13(EAN): 9789811052231 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new diagnostic information methodology to assess the quality of conversational telephone speech. The dimension scores gathered with the new test method are used to determine the quality of each conversational phase, and the qualities of the three phases, in turn, are combined for overall conversational quality modeling.
Автор: Shin Nakajima; Jean-Pierre Talpin; Masumi Toyoshim Название: Cyber-Physical System Design from an Architecture Analysis Viewpoint ISBN: 981104435X ISBN-13(EAN): 9789811044359 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.
Автор: Rokia Missaoui; Talel Abdessalem; Matthieu Latapy Название: Trends in Social Network Analysis ISBN: 331953419X ISBN-13(EAN): 9783319534190 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book collects contributions from experts worldwide addressing recent scholarship in social network analysis such as influence spread, link prediction, dynamic network biclustering, and delurking.
Автор: Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nago Название: Structured Object-Oriented Formal Language and Method ISBN: 3319577077 ISBN-13(EAN): 9783319577074 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.
Автор: Erik Cambria; Dipankar Das; Sivaji Bandyopadhyay; Название: A Practical Guide to Sentiment Analysis ISBN: 3319553925 ISBN-13(EAN): 9783319553924 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sentiment analysis research has been started long back and recently it is one of the demanding research topics.
Автор: Paolo Ceravolo; Stefanie Rinderle-Ma Название: Data-Driven Process Discovery and Analysis ISBN: 3319534343 ISBN-13(EAN): 9783319534343 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers from the 5th IFIP WG 2.6 International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2015, held in Vienna, Austria in December 2015.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
