Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: Наука
Год: 1986
Серия: Библиотечка программиста
Формат: djvu
Страниц: 130
Размер: 2,3 Mb
Язык: Русский

В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.
Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.

Название: An Introduction to Machine Learning, 2nd Edition
Автор: Miroslav Kubat
Издательство: Springer
Год: 2017
Страниц: 348
Формат: PDF
Размер: 10 Mb
Язык: English

This textbook presents fundamental machine learning concepts in an easy to understand manner by providing practical advice, using straightforward examples, and offering engaging discussions of relevant applications. The main topics include Bayesian classifiers, nearest-neighbor classifiers, linear and polynomial classifiers, decision trees, neural networks, and support vector machines. Later chapters show how to combine these simple tools by way of “boosting,” how to exploit them in more complicated domains, and how to deal with diverse advanced practical issues. One chapter is dedicated to the popular genetic algorithms.

Название: Introduction to Compiler Construction in a Java World
Автор: Bill Campbell, Swami Iyer, Bahar Akbal-Delibas
Издательство: CRC
Год: 2012
Страниц: 381
Формат: True PDF
Размер: 10 Mb
Язык: English

Immersing students in Java and the Java Virtual Machine (JVM), Introduction to Compiler Construction in a Java World enables a deep understanding of the Java programming language and its implementation. The text focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers.

Название: Incident Management for Operations
Автор: Rob Schnepp, Ron Vidal, Chris Hawley
Издательство: O'Reilly Media
Год: 2017
Страниц: 174
Формат: True PDF
Размер: 14 Mb
Язык: English

Are you satisfied with the way your company responds to IT incidents? How prepared is your response team to handle critical, time-sensitive events such as service disruptions and security breaches? IT professionals looking for effective response models have successfully adopted the Incident Management System (IMS) used by firefighters throughout the US. This practical book shows you how to apply the same response methodology to your own IT operation.

Название: Язык плэнер
Автор: Пильщиков В.П.
Издательство: Наука
Год: 1983
Формат: PDF
Качество: Отсканированные страницы
Страниц: 210
Размер: 26.8 MB
Язык: Русский

В книге описана одна из версий хорошо известного в области искусственного интеллекта языка программирования planner. В этом языке наряду с традиционными методами обработки символьной информации используется много новых концепций (поиск с возвратами, ассоциативная выборка данных и процедур, дедуктивные выводы и др.), учитывающих специфику задач искусственного интеллекта.

Название: The Magpi Essentials Make Games With Python
Автор: Sean M. Tracey
Издательство: Raspberry Pi Ltd.
Год: 2015
Страниц: 154
Формат: True PDF
Размер: 10.09 MB
Язык: Английский

Книга "Make Games with Python" состоят из десяти глав, которые помогут вам разобраться в возможностях написания игр с Pygame. Книга поможет вам изучить основные навыки Python, такие как списки, словари, классы и многое другое.

Make Games with Python is made up of ten chapters that take you on a whirlwind tour of Pygame’s game-making capabilities. The book helps you learn essentials Python skills like lists, dictionaries, classes and more.

Название: Programming in HTML and PHP: Coding for Scientists and Engineers
Автор: David R. Brooks
Издательство: Springer
Год: 2017
Страниц: 293
Формат: PDF
Размер: 10 Mb
Язык: English

This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The importance of learning by example (as opposed to simply learning by copying) is emphasized through extensive use of hands-on exercises and examples, with a specific focus on useful science and engineering applications. The clearly-written text is designed to be simple to follow for the novice student, without requiring any background in programming or mathematics beyond algebra.

Название: Programming Language Concepts, 2nd Edition
Автор: Peter Sestoft
Издательство: Springer
Год: 2017
Страниц: 341
Формат: PDF
Размер: 13 Mb
Язык: English

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on polymorphic types, type inference using unification, co- and contravariant types, continuations, and backwards code generation with on-the-fly peephole optimization.

Название: The Kish Cypher : The Story of KLJN for Unconditional Security
Автор: Laszlo B Kish
Издательство: World Scientific
Год: 2017
Страниц: 464
Формат: True PDF
Размер: 28 Mb
Язык: English

Designed to offer a thorough account of the KLJN key exchange system (also known as the Kish Cypher, the Kish Key Distribution, etc.) and its unconditional security, this book explains the scheme's foundation in classical statistical physics and its superiority to its quantum-based competitors for particular applications, from the perspective of Dr. Kish himself.

Название: Computing Essentials 2017
Автор: Daniel O'Leary, Linda I. O'Leary, Timothy J O'Leary Professor
Издательство: McGraw-Hill Education
Год: 2017
Страниц: 432
Формат: True PDF
Размер: 113 Mb
Язык: English

How are you learning about the most important, essential, and current concepts of information technology?