Tools and Algorithms for the Construction and Analysis of Systems, Javier Esparza; Rupak Majumdar
Автор: Cormen, Thomas H., E Название: Introduction to algorithms 3 ed. ISBN: 0262033844 ISBN-13(EAN): 9780262033848 Издательство: MIT Press Рейтинг: Цена: 27588.00 р. Наличие на складе: Нет в наличии.
Описание: A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.
Автор: Oege de Moor; Michael I. Schwartzbach Название: Compiler Construction ISBN: 364200721X ISBN-13(EAN): 9783642007217 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. This work covers topics including traditional compiler construction, compiler analyses and runtime systems and tools.
Автор: Philippe Audebaud; Christine Paulin-Mohring Название: Mathematics of Program Construction ISBN: 3540705937 ISBN-13(EAN): 9783540705932 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. This work addresses issues ranging from algorithmics to support for program construction in programming languages and systems.
Автор: Stefan Kowalewski; Anna Philippou Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3642007678 ISBN-13(EAN): 9783642007675 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Benyuan Liu; Azer Bestavros; Ding-Zhu Du; Jie Wang Название: Wireless Algorithms, Systems, and Applications ISBN: 3642034160 ISBN-13(EAN): 9783642034169 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.
Автор: Yingshu Li; Dung T. Huynh; Sajal K. Das; Ding-Zhu Название: Wireless Algorithms, Systems, and Applications ISBN: 3540885811 ISBN-13(EAN): 9783540885818 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. This book addresses research and development efforts of various issues in the area of algorithms, and infrastructure less wireless networks.
Автор: Yang Название: Wireless Algorithms, Systems, and Applications ISBN: 3319428357 ISBN-13(EAN): 9783319428352 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2016, held in Bozeman, MT, USA, in August 2016.The 50 full papers and 9 invited papers presented werde carefully reviewed and selected from 148 submissions.
Автор: Ambler Название: The Unified Process Construction Phase ISBN: 192962901X ISBN-13(EAN): 9781929629015 Издательство: Taylor&Francis Рейтинг: Цена: 7195.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book is the second in a four volume series that presents a critical review of the Unified Process
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Franck Cassez; Claude Jard Название: Formal Modeling and Analysis of Timed Systems ISBN: 354085777X ISBN-13(EAN): 9783540857778 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Автор: Parker J J Название: Algorithms for Image Processing and Computer Vision ISBN: 0470643854 ISBN-13(EAN): 9780470643853 Издательство: Wiley Рейтинг: Цена: 12514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Programmers, scientists, and engineers are always in need of newer techniques and algorithms to manipulate and interpret images. Algorithms for Image Processing and Computer Vision is an accessible collection of algorithms for common image processing applications that simplifies complicated mathematical calculations.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
