Behavioural Types: From Theory to Tools, Simon Gay, Antonio Ravara
Автор: Queiros et all (edit) Название: Code generation, analysis tools, and testing for quality / ISBN: 1522574557 ISBN-13(EAN): 9781522574552 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 32155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Despite the advances that have been made in programming, there is still a lack of sufficient methods for quality control. While code standards try to force programmers to follow a specific set of rules, few tools exist that really deal with automatic refactoring of this code, and evaluation of the coverage of these tests is still a challenge.Code Generation, Analysis Tools, and Testing for Quality is an essential reference source that discusses the generation and writing of computer programming and methods of quality control such as analysis and testing. Featuring research on topics such as programming languages, quality assessment, and automated development, this book is ideally designed for academicians, practitioners, computer science teachers, enterprise developers, and researchers seeking coverage on code auditing strategies and methods.
Автор: Thomas L. Wilson; Kristen Rohlfs; Susanne H?ttemei Название: Tools of Radio Astronomy ISBN: 3540851216 ISBN-13(EAN): 9783540851219 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Нет в наличии.
Описание: A guide to radio astronomy. It covers topics including instruments, sensitivity considerations, observational methods and interpretations of the data recorded with both single dishes and interferometers. It is suitable for both students and experienced practicing astronomers.
Описание: This book presents a framework for the reuse-based design of AMS circuits. The framework is founded on three key elements: (1) a CAD-supported hierarchical design flow; The book features a detailed tutorial and in-depth coverage of all issues and must-have properties of reusable AMS blocks.
Автор: Natarajan Shankar; Jim Woodcock Название: Verified Software: Theories, Tools, Experiments ISBN: 3540878726 ISBN-13(EAN): 9783540878728 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems.
Автор: Holger Brunst; Matthias S. M?ller; Wolfgang E. Nag Название: Tools for High Performance Computing 2011 ISBN: 3642439853 ISBN-13(EAN): 9783642439858 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis.
Описание: This is a comprehensive guide to fault injection techniques used to evaluate the dependability of a digital system. The description and the critical analysis of different fault injection techniques and tools are authored by key scientists in the field of system dependability and fault tolerance.
Автор: Norberto Lopez de Lacalle; Aitzol Lamikiz Mentxaka Название: Machine Tools for High Performance Machining ISBN: 1849967954 ISBN-13(EAN): 9781849967952 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The authors contributing to this volume describe in depth several aspects of machine structures, machine elements and control, and application. The basics, models and functions of each aspect are explained by experts from both academia and industry.
Are you excited about Artificial Intelligence and want to get started?Are you excited about Machine Learning and want to learn how to implement in Python?
The book below is the answer.
Given the large amounts of data we use everyday; whether it is in the web, supermarkets, social media etc. analysis of data has become integral to our daily life. The ability to do so effectively can propel your career or business to great heights. Machine Learning is the most effective data analysis tool. While it is a complex topic, it can be broken down into simpler steps, as show in this book. We are using Python, which is a great programming language for beginners.
Python is a great language that is commonly used with Machine Learning. Python is used extensively in Mathematics, Gaming and Graphic Design. It is fast to develop and prototype. It is web capable, meaning that we can use Python to gather web data. It is adaptable, and has great community of users.
Here's What's Included In This Book:
What is Machine Learning?
Why use Python?
Regression Analysis using Python with an example
Clustering Analysis using Python with an example
Implementing an Artificial Neural Network
Backpropagation
90 Day Plan to Learn and Implement Machine Learning
Conclusion
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
