Mathematics of Program Construction, Philippe Audebaud; Christine Paulin-Mohring

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: 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.

Автор: 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.

Автор: Elaine Chew; Adrian Childs; Ching-Hua Chuan
Название: Mathematics and Computation in Music
ISBN: 3642023932 ISBN-13(EAN): 9783642023934
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Conference on Mathematics and Computation in Music, MCM 2009, held in New Haven, CT, USA, in June 2009. The papers deal with topics within applied mathematics, computational models, mathematical modelling and various further aspects of the theory of music.

Автор: Deepak Kapur
Название: Computer Mathematics
ISBN: 3540878262 ISBN-13(EAN): 9783540878261
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

Автор: Wittkop
Название: Building a Comprehensive IT Security Program
ISBN: 1484220528 ISBN-13(EAN): 9781484220528
Издательство: Springer
Рейтинг:
Цена: 5170.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains the ongoing war between private business and cyber criminals, state-sponsored attackers, terrorists, and hacktivist groups. Further, it explores the risks posed by trusted employees that put critical information at risk through malice, negligence, or simply making a mistake. It clarifies the historical context of the current situation as it relates to cybersecurity, the challenges facing private business, and the fundamental changes organizations can make to better protect themselves. The problems we face are difficult, but they are not hopeless.Cybercrime continues to grow at an astounding rate. With constant coverage of cyber-attacks in the media, there is no shortage of awareness of increasing threats. Budgets have increased and executives are implementing stronger defenses. Nonetheless, breaches continue to increase in frequency and scope.Building a Comprehensive IT Security Program shares why organizations continue to fail to secure their critical information assets and explains the internal and external adversaries facing organizations today. This book supplies the necessary knowledge and skills to protect organizations better in the future by implementing a comprehensive approach to security.Jeremy Wittkop’s security expertise and critical experience provides insights into topics such as:Who is attempting to steal information and why?What are critical information assets?How are effective programs built?How is stolen information capitalized?How do we shift the paradigm to better protect our organizations?How we can make the cyber world safer for everyone to do business?

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.