Tools and Algorithms for the Construction and Analysis of Systems, Stefan Kowalewski; Anna Philippou

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

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

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

Автор: Goldberg
Название: Experimental Algorithms
ISBN: 3319388509 ISBN-13(EAN): 9783319388502
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St. Petersburg, Russia, in June 2016. The 25 revised full papers presented were carefully reviewed and selected from 54 submissions.

Автор: Bot?n-Fern?ndez
Название: Algorithms for Computational Biology
ISBN: 3319388266 ISBN-13(EAN): 9783319388267
Издательство: Springer
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third InternationalConference on Algorithms for Computational Biology, AlCoB 2016, held inTrujillo, Spain, in June 2016. The 13 full papers presented in this volume were carefully reviewed andselected from 23 submissions.

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

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

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

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

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

Автор: Parker J J
Название: Algorithms for Image Processing and Computer Vision
ISBN: 0470643854 ISBN-13(EAN): 9780470643853
Издательство: Wiley
Рейтинг:
Цена: 83430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.