Название: Mathematics and Computing Автор: Debasis Giri and Ram N. Mohapatra Издательство: Springer Год: 2017 Формат: PDF Размер: 17,2 Мб Язык: английский / English
This book constitutes the proceedings of the Third International Conference on Mathematics and Computing, ICMC 2017, held in Haldia, India, in January 2017.
The 35 papers presented in this volume were carefully reviewed and selected from 129 submissions. They were organized in topical sections named: security and privacy; computing; applied mathematics; and pure mathematics.
Название: Multimedia Forensics and Security: Foundations, Innovations, and Applications Автор: Aboul Ella Hassanien and Mohamed Mostafa Fouad Издательство: Springer Год: 2016 Формат: PDF Размер: 15,2 Мб Язык: английский / English
This book presents recent applications and approaches as well as challenges in digital forensic science. One of the evolving challenges that is covered in the book is the cloud forensic analysis which applies the digital forensic science over the cloud computing paradigm for conducting either live or static investigations within the cloud environment. The book also covers the theme of multimedia forensics and watermarking in the area of information security.
Название: 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.
Разделы сайта
Авторизация
Реклама
