Название: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Автор: Adam Chlipala
Издательство: MIT Press
Год: 2013
Формат: PDF, EPUB
Размер: 11,8 Мб
Язык: английский / English

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

Название: Deep Learning with Python: A Hands-on Introduction
Автор: Nikhil Ketkar
Издательство: Apress
Год: 2017
Страниц: 243
Формат: PDF
Размер: 10 Mb
Язык: English

Discover the practical aspects of implementing deep-learning solutions using the rich Python ecosystem. This book bridges the gap between the academic state-of-the-art and the industry state-of-the-practice by introducing you to deep learning frameworks such as Keras, Theano, and Caffe. The practicalities of these frameworks is often acquired by practitioners by reading source code, manuals, and posting questions on community forums, which tends to be a slow and a painful process. Deep Learning with Python allows you to ramp up to such practical know-how in a short period of time and focus more on the domain, models, and algorithms.

Название: Основы информатики и вычислительной техники
Автор: S.8. Гедранович, Ю.В. Змеева, АО. Абрамович
Издательство: Минск Изд-во МИУ
Год: 2004
Формат: pdf
Страниц: 162
Размер: 8,92 Мб
Язык: русский

Учебное пособие предназначено для студентов экономических специальностей дневной и заочной форм обучения. Содержит конспект лекций, учебно-методические материалы для выполнения лабораторных работ, задания для самостоятельной работы и контроля знаний по темам, выносимым на КСР.
Может быть использовано в качестве учебного пособия для аспи рантов по дисциплине «Основы информационных технологий» и магистрантов по дисциплине «Новые информационные технологии».

Название: Основы вычислительной техники и программирования
Автор: Щеголева Л. И., Давыдов А. Ф.
Издательство: Энергоиздат Ленинград
Год: 1981
Формат: pdf
Страниц: 254
Размер: 12,7 Мб
Язык: русский

В учебнике приведены основные принципы построения цифровых и аналоговые вычислительных машин. Основное внимание уделено широко распространенным узлам и устройствам ПВМ и АВМ на транзисторах и интегральных микросхемах,
Вопросы программирования увязаны с современными вычислительными машинами «Единой системы. Для самостоятельной работы по разделам введены контрольные вопросы.

Автор: Paul Deitel and Harvey M. Deitel
Название: javascript for Programmers
Издательство: Prentice Hall
Год: 2009
ISBN: 978-0137001316
Серия: Deitel Developer Series
Язык: English
Формат: pdf
Размер: 12,0 mb
Страниц: 448

The Deitel Developer Series designed for professional programmers. The series presents focused treatments of emerging technologies, including .NET, Java, web services, Internet and web development and more.

Название: Introduction to Logic Circuits & Logic Design with Verilog
Автор: Brock J. LaMeres
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 35,2 Мб
Язык: английский / English

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL approach, but they have a broad foundation of knowledge of the underlying hardware and theory of their designs.

Название: Encyclopedia of Machine Learning and Data Mining, 2nd Edition
Автор: Claude Sammut, Geoffrey I. Webb
Издательство: Springer
Год: 2017
Страниц: 1335
Формат: PDF
Размер: 31 Mb
Язык: English

This authoritative, expanded and updated second edition of Encyclopedia of Machine Learning and Data Mining provides easy access to core information for those seeking entry into any aspect within the broad field of Machine Learning and Data Mining.

Название: Guide to Computational Modelling for Decision Processes: Theory, Algorithms, Techniques and Applications
Автор: Stuart Berry, Val Lowndes, Marcello Trovati
Издательство: Springer
Год: 2017
Страниц: 396
Формат: PDF
Размер: 11 Mb
Язык: English

This interdisciplinary reference and guide provides an introduction to modeling methodologies and models which form the starting point for deriving efficient and effective solution techniques, and presents a series of case studies that demonstrate how heuristic and analytical approaches may be used to solve large and complex problems.

Название: Blockchain For Dummies
Автор: Tiana Laurence
Издательство: For Dummies
Год: 2017
Страниц: 240
Формат: PDF, EPUB, AZW3
Размер: 10 Mb
Язык: English

Find out what Blockchain is, how it works, and what it can do for you
Blockchain is the technology behind Bitcoin, the revolutionary 'virtual currency' that's changing the way people do business. While Bitcoin has enjoyed some well-deserved hype, Blockchain may be Bitcoin's most vital legacy. Blockchain For Dummies is the ideal starting place for business pros looking to gain a better understanding of what Blockchain is, how it can improve the integrity of their data, and how it can work to fundamentally change their business and enhance their data security.

Автор: Дьяконов В. П.
Название: Справочник по алгоритмам и программам на языке бейсик для персональных ЭВМ: Справочник
Издательство: Наука
Год: 1989
Страниц: 240
Формат: DJVU
Размер: 10 МБ

Даны краткие сведения о современных отечественных и зарубежных микроЭВМ индивидуального пользования. Описаны основные версии бейсика, наиболее распространенного языка программирования персональных ЭВМ (ПЭВМ), отечественных микро- и миниЭВМ (Электроника-60, Электроника-ДЗ-28, Искра-226, диалоговых вычислительных комплексов ДВК-1, ДВК-2 и др.). Изложены основы программирования на бейсике. Основное внимание уделено общему математическому, алгоритмическому и программному обеспечению расчетов на ПЭВМ. В справочник включена обширная библиотека прикладных программ на бейсике (более 300 программ), обеспечивающих реализацию основных численных методов, вычисление большинства специальных функций и решение ряда практических задач в различных областях науки и техники.
Для инженеров, научно-технических работников и студентов втузов.