Open Source Systems: 15th Ifip Wg 2.13 International Conference, OSS 2019, Montreal, Qc, Canada, May 26-27, 2019, Proceedings, Bordeleau Francis, Sillitti Alberto, Meirelles Paulo
Автор: Ivanov Vladimir, Kruglov Artem, Masyagin Sergey Название: Open Source Systems: 16th Ifip Wg 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings ISBN: 3030472396 ISBN-13(EAN): 9783030472399 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, held in Innopolis, Russia, in May 2020.* The 12 revised full papers and 8 short papers presented were carefully reviewed and selected from 42 submissions.
Автор: Casola Valentina, de Benedictis Alessandra, Rak Massimiliano Название: Testing Software and Systems: 32nd Ifip Wg 6.1 International Conference, Ictss 2020, Naples, Italy, December 9-11, 2020, Proceedings ISBN: 303064880X ISBN-13(EAN): 9783030648800 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Model-Based Testing.- Using Model Learning for the Generation of Mock Components.- Interrogating Virtual Agents: In Quest of Security Vulnerabilities.- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT.- Learning Abstracted Non-Deterministic Finite State Machines.- Security Testing.- APPregator: a large-scale platform for mobile security analysis.- Vulsploit: a module for semi-automatic exploitation of vulnerabilities.- About the Robustness and Looseness of Yara Rules.- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server.- Trust is in the air: a new adaptive method to evaluate mobile wireless networks.- Enabling Next-Generation Cyber Ranges with Mobile Security Components.- Testing Methods and Applications.- A Technique for Parallel GUI Testing of Android Applications.- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements.- Methods for Live Testing of Cloud Services.- Testing Methods and Automation.- Automated Transition Coverage in Behavioural Conformance Testing.- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.- Automatic Fairness Testing of Machine Learning Models.- Inspecting Code Churns to Prioritize Test Cases.- Short Contributions.- Using an SMT solver for checking the completeness of FSM-based tests.- Hacking Goals: a goal-centric attack taxonomy in computer systems.- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems.- Architecture based on keyword driven testing with domain specific language for a testing system.
Автор: Staggs Jason, Shenoi Sujeet Название: Critical Infrastructure Protection XIII: 13th Ifip Wg 11.10 International Conference, Iccip 2019, Arlington, Va, Usa, March 11-12, 2019, Revised Selec ISBN: 3030346498 ISBN-13(EAN): 9783030346492 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Learn how to make meals that are out of this world with this indispensable guide to the food of the stars! Perfect for every fan, this updated edition of The Star Trek Cookbook from the New York Times bestselling author comes with brand-new and delicious recipes, tantalizing visuals, and easy-to-follow instructions and advice to make the best foods from the future.
Автор: Dhillon Gurpreet, Karlsson Fredrik, Hedstrцm Karin Название: Ict Systems Security and Privacy Protection: 34th Ifip Tc 11 International Conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, Proceedings ISBN: 3030223140 ISBN-13(EAN): 9783030223144 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 34th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2019, held in Lisbon, Portugal, in June 2019. The 26 revised full papers presented were carefully reviewed and selected from 76 submissions.
Автор: Casaca Augusto, Katkoori Srinivas, Ray Sandip Название: Internet of Things. a Confluence of Many Disciplines: Second Ifip International Cross-Domain Conference, Ifipiot 2019, Tampa, Fl, Usa, October 31 - No ISBN: 3030436047 ISBN-13(EAN): 9783030436049 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Автор: Tzanakaki Anna, Varvarigos Manos, Muсoz Raul Название: Optical Network Design and Modeling: 23rd Ifip Wg 6.10 International Conference, Ondm 2019, Athens, Greece, May 13-16, 2019, Proceedings ISBN: 303038084X ISBN-13(EAN): 9783030380847 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book explores how the European Union designs its trade policy to face the most recent challenges and to influence global policy issues. It studies a broad set of trade instruments that are used by the EU in its trade policy, such as: trade agreements, multilateral initiatives, unilateral trade policies, as well as, internal market tools.
Автор: Chiabert Paolo, Bouras Abdelaziz, Noel Frederic Название: Product Lifecycle Management to Support Industry 4.0: 15th Ifip Wg 5.1 International Conference, Plm 2018, Turin, Italy, July 2-4, 2018, Proceedings ISBN: 3030016137 ISBN-13(EAN): 9783030016135 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 15th IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2018, held in Turin, Spain, in July 2018.The 72 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: building information modeling; collaborative environments and new product development; PLM for digital factories and cyber physical systems; ontologies and data models; education in the field of industry 4.0; product-service systems and smart products; lean organization for industry 4.0; knowledge management and information sharing; PLM infrastructure and implementation; PLM maturity, implementation and adoption; 3D printing and additive manufacturing; and modular design and products and configuration and change management.
Автор: Jajodia Название: Proceedings of the IFIP TC 11 23rd International Information Security Conference ISBN: 1441935207 ISBN-13(EAN): 9781441935205 Издательство: Springer Рейтинг: Цена: 184470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These proceedings contain the papers selected for presentation at the 23rd Inter- tional Information Security Conference (SEC 2008), co-located with IFIP World Computer Congress (WCC 2008), September 8-10, 2008 in Milan, Italy. Of the papers submitted, 42 full papers and 11 short papers were selected for presentation at the conference.
Автор: Jajodia Название: Proceedings of the IFIP TC 11 23rd International Information Security Conference ISBN: 0387096981 ISBN-13(EAN): 9780387096988 Издательство: Springer Рейтинг: Цена: 184470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the IFIP TC 11 23rd International Information Security Conference held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. This book features proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields.
Автор: Remke Anne, Schiavoni Valerio Название: Distributed Applications and Interoperable Systems: 20th Ifip Wg 6.1 International Conference, Dais 2020, Held as Part of the 15th International Feder ISBN: 3030503224 ISBN-13(EAN): 9783030503222 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Автор: Brogi Antonio, Zimmermann Wolf, Kritikos Kyriakos Название: Service-Oriented and Cloud Computing: 8th Ifip Wg 2.14 European Conference, Esocc 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings ISBN: 3030447685 ISBN-13(EAN): 9783030447687 Издательство: Springer Рейтинг: Цена: 50310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volume were carefully reviewed and selected from 20 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
