Litgu.ru - Литературный Гуру

Название: Computer Aided Verification: 32nd International Conference, CAV 2020, Part1,2
Автор: Shuvendu K. Lahiri, Chao Wang
Издательство: Springer
Год: 2020
Формат: PDF
Размер: 52 Мб
Язык: английский / English

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020. The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis.

Название: 14 Habits of Highly Productive Developers
Автор: Zeno Rocha
Издательство: Amazon.com Services LLC
Год: 2020
Страниц: 125
Язык: английский
Формат: pdf, azw3. epub
Размер: 13.6 MB

Why This Book? You can learn the most popular frameworks, use the best programming languages, and work at the biggest tech companies, but if you cultivate bad habits, it will be hard for you to become a top developer. This book doesn't offer a straight path or pre-defined formula of success. This book is a result of a quest. A quest to uncover what habits can be cultivated to become a better software engineer.

Название: Изучаем PHP и MySQL
Автор: Мишель Е. Дэвис, Джон А. Филлипс
Издательство: СПб: Символ-Плюс
Год: 2008
ISBN: 978-5-93286-115-8
Формат: pdf
Страниц: 442
Размер: 10,4 Mб
Язык: Русский

Если вы хотите научиться созданию динамических веб-сайтов, знакомы с основами программирования на HTML, но не представляете себе, как использовать для этих целей язык программирования PHP и СУБД MySQL, то данная книга станет вам незаменимым помощником. Ее авторы с успехом демонстрируют, что такая комбинация – это мощный инструмент, позволяющий существенно упростить разработку веб-приложений.

Название: Advanced R 4 Data Programming and the Cloud: Using PostgreSQL, AWS and Shiny, 2nd Edition
Автор: Matt Wiley, Joshua F. Wiley
Издательство: Apress
Год: 2020
Формат: true pdf/epub
Страниц: 439
Размер: 10 Mb
Язык: English

Program for data analysis using R and learn practical skills to make your work more efficient. This revised book explores how to automate running code and the creation of reports to share your results, as well as writing functions and packages. It includes key R 4 features such as a new color palette for charts, an enhanced reference counting system, and normalization of matrix and array types where matrix objects now formally inherit from the array class, eliminating inconsistencies.

Название: Starting Out with Programming Logic and Design (What's New in Computer Science) Fifth Edition
Автор: Tony Gaddis
Издательство: Pearson
Год: 2019
Формат: True PDF
Страниц: 980
Размер: 14.6 Mb
Язык: English

Making complex programming concepts accessible to every student
Starting Out with Programming Logic and Design is a language-independent introductory programming book, teaching students programming concepts and logic without assuming any previous programming experience.

Название: Analytics, Data Science, & Artificial Intelligence
Автор: Ramesh Sharda, Dursun Delen, Efraim Turban
Издательство: Pearson
Год: 2020
Формат: True PDF
Страниц: 834
Размер: 10.8 Mb
Язык: English

Market-leading guide to modern analytics, for better business decisions.
Analytics, Data Science, & Artificial Intelligence: Systems for Decision Support is the most comprehensive introduction to technologies collectively called analytics (or business analytics) and the fundamental methods, techniques, and software used to design and develop these systems. Students gain inspiration from examples of organizations that have employed analytics to make decisions, while leveraging the resources of a companion website. With six new chapters, the 11th edition marks a major reorganization reflecting a new focus – analytics and its enabling technologies, including AI, machine-learning, robotics, chatbots, and IoT.

Название: Machine Learning and Cognitive Computing for Mobile Communications and Wireless Networks
Автор: Krishna Kant Singh, Akansha Singh
Издательство: Wiley-Scrivener
Год: 2020
Страниц: 263
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Communication and network technology has witnessed recent rapid development and numerous information services and applications have been developed globally. These technologies have high impact on society and the way people are leading their lives. The advancement in technology has undoubtedly improved the quality of service and user experience yet a lot needs to be still done. Some areas that still need improvement include seamless wide-area coverage, high-capacity hot-spots, low-power massive-connections, low-latency and high-reliability and so on. Thus, it is highly desirable to develop smart technologies for communication to improve the overall services and management of wireless communication. Machine learning and cognitive computing have converged to give some groundbreaking solutions for smart machines.

Название: Learn to Program with Minecraft: Transform Your World with the Power of Python
Автор: Craig Richardson
Издательство: No Starch Press
Год: 2015
Формат: PDF
Размер: 14 Мб
Язык: английский / English

You've bested creepers, traveled deep into caves, and maybe even gone to The End and back-but have you ever transformed a sword into a magic wand? Built a palace in the blink of an eye? Designed your own color-changing disco dance floor?

Название: Advancements in Applied Metaheuristic Computing
Автор: Nilanjan Dey
Издательство: IGI Global
Год: 2017
Формат: PDF
Размер: 18 Мб
Язык: английский / English

Metaheuristic algorithms are present in various applications for different domains. Recently, researchers have conducted studies on the effectiveness of these algorithms in providing optimal solutions to complicated problems.

Название: AI Self-Driving Cars Divulgement: Practical Advances In Artificial Intelligence And Machine Learning
Автор: Dr. Lance Eliot
Издательство: LBE Press Publishing
Год: 2020
Страниц: 266
Язык: английский
Формат: pdf, azw3, epub
Размер: 10.1 MB

This is a book that provides the newest innovations and the latest Artificial Intelligence (AI) advances about the emerging nature of AI-based autonomous self-driving driverless cars. Via recent advances in Artificial Intelligence (AI) and Machine Learning (ML), we are nearing the day when vehicles can control themselves and will not require and nor rely upon human intervention to perform their driving tasks (or, that allow for human intervention, but only require human intervention in very limited ways).