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
Рейтинг:
Цена: 183920.00 T
Наличие на складе: Нет в наличии.
Описание: 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.

Автор: Cormen Thomas H
Название: Introduction to Algorithms
ISBN: 0262533057 ISBN-13(EAN): 9780262533058
Издательство: Wiley
Рейтинг:
Цена: 60310.00 T
Наличие на складе: Невозможна поставка.
Описание: Not available in the U.S or Canada. International Student Paperback Edition. 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Yingshu Li; Dung T. Huynh; Sajal K. Das; Ding-Zhu
Название: Wireless Algorithms, Systems, and Applications
ISBN: 3540885811 ISBN-13(EAN): 9783540885818
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Stefan Kowalewski; Anna Philippou
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642007678 ISBN-13(EAN): 9783642007675
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Yang
Название: Wireless Algorithms, Systems, and Applications
ISBN: 3319428357 ISBN-13(EAN): 9783319428352
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Bhattacharya, Bhargab B. Sur-kolay, Susmita Nandy,
Название: Algorithms, architectures and information systems security
ISBN: 9812836233 ISBN-13(EAN): 9789812836236
Издательство: World Scientific Publishing
Рейтинг:
Цена: 139390.00 T
Наличие на складе: Невозможна поставка.
Описание: Addresses various geometric problems and related algorithms. This title focuses on various optimization issues in VLSI design and text architectures, and in wireless networks. It comprises scholarly articles on information systems security covering privacy issues, access control, enterprise and network security, and digital image forensics.

Автор: Ambler
Название: The Unified Process Construction Phase
ISBN: 192962901X ISBN-13(EAN): 9781929629015
Издательство: Taylor&Francis
Рейтинг:
Цена: 47970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.