Practical Ruby for System Administration, Andre Ben-Hamou

Автор: Khalid Begain; Gunter Bolch; Helmut Herold
Название: Practical Performance Modeling
ISBN: 1461355281 ISBN-13(EAN): 9781461355281
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.

Автор: Matthew Flatt; Hai-Feng Guo
Название: Practical Aspects of Declarative Languages
ISBN: 3319041312 ISBN-13(EAN): 9783319041315
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages.

Автор: Kostis Sagonas
Название: Practical Aspects of Declarative Languages
ISBN: 3642452833 ISBN-13(EAN): 9783642452833
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages.

Автор: Bertrand Meyer; Martin Nordio
Название: Tools for Practical Software Verification
ISBN: 3642357458 ISBN-13(EAN): 9783642357459
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

Автор: John R. Vacca
Название: Practical Internet Security
ISBN: 1441942696 ISBN-13(EAN): 9781441942692
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Furthermore, the exploding use of Web technologies for corporate intranets and Internet sites has escalated security risks to corporate data and information systems.Practical Internet Security reveals how the Internet is paving the way for secure communications within organizations and on the public Internet.

Автор: Harold Boley
Название: A Tight, Practical Integration of Relations and Functions
ISBN: 3540666443 ISBN-13(EAN): 9783540666448
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages.

Автор: Enrico Pontelli; Santos C. Vitor
Название: Practical Aspects of Declarative Languages
ISBN: 3540669922 ISBN-13(EAN): 9783540669920
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rytis Sileika
Название: Pro Python System Administration
ISBN: 148420218X ISBN-13(EAN): 9781484202180
Издательство: Springer
Рейтинг:
Цена: 6282.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Pro Python System Administration, Second Edition explains and shows how to apply Python scripting in practice. It will also be beneficial for system administrators who want to learn more about automation and want to apply their Python knowledge to solve various system administration problems.

Автор: Gerard O`Regan
Название: A Practical Approach to Software Quality
ISBN: 1441929517 ISBN-13(EAN): 9781441929518
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It provides an enhanced knowledge of software inspections, metrics, process involvement, assessment of organization, problem solving, customer satisfaction surveys, the CMM, SPICE, and formal methods. In addition, readers will gain a detailed understanding of the principles of software quality management and software process improvement.