|
 |
|
 |
|
|
 |
|  |
|
 Название: Model Checking Quantum Systems: Principles and Algorithms
Автор: Mingsheng Ying, Yuan Feng
Издательство: Cambridge University Press
Год: 2021
Формат: epub
Страниц: 220
Размер: 10 Mb
Язык: English
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications. | |
Разместил: bomboane 1-02-2021, 01:02 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
Название: Computational Logic. Logic Programming and Beyond
Автор: Maurice Bruynooghe, Maarten Emden (auth.), Fariba Sadri (eds.), Jörg H. Siekmann, Antonis C. Kakas, Luís Moniz Pereira
Издательство: Springer
Год: 2002
Формат: pdf
Страниц: 684
Размер: 10 Mb
Язык: English
This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. | |
Разместил: Bookworm 31-01-2021, 21:19 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: 3D game engine design. A practical approach to real-time computer graphics
Автор: David H. Eberly
Издательство: Morgan Kaufmann Publishers
Год: 2000
Формат: pdf
Страниц: 586
Размер: 74 Mb
Язык: English
Now considered an essential reference in the game industry, 3D Game Engine Design is the first book to go beyond basic descriptions of algorithms and accurately demonstrate the complex engineering process required to design and build a real-time graphics engine to support physical realism. Faster algorithms will always win out over faster processors and assembly-language optimization techniques. Implementing those algorithms, however, can be a challenge for even experienced programmers. | |
Разместил: Bookworm 31-01-2021, 21:02 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Sorting. A distribution theory
Автор: Hosam M. Mahmoud
Издательство: Wiley
Год: 2000
Формат: pdf
Страниц: 405
Размер: 14 Mb
Язык: English
A cutting-edge look at the emerging distributional theory of sorting. Research on distributions associated with sorting algorithms has grown dramatically over the last few decades, spawning many exact and limiting distributions of complexity measures for many sorting algorithms. Yet much of this information has been scattered in disparate and highly specialized sources throughout the literature. In Sorting: A Distribution Theory, leading authority Hosam Mahmoud compiles, consolidates, and clarifies the large volume of available research, providing a much-needed, comprehensive treatment of the entire emerging distributional theory of sorting. | |
Разместил: Bookworm 31-01-2021, 20:45 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Искусственные нейронные сети
Автор: Ростовцев В. С.
Издательство: Лань
Год: 2021
Формат: PDF
Страниц: 214
Размер: 10 Mb
Язык: Русский
В учебнике приведены основные теоретические и практические сведения по разработке, обучению и применению искусственных нейронных сетей с использованием среды MatLab.
Учебник предназначен для студентов магистратуры направления «Информатика и вычислительная техника» и может быть полезен студентам других специальностей при изучении нейросетевых технологий, а также для слушателей курсов повышения квалификации и профессиональной переподготовки. | |
Разместил: vitvikvas 31-01-2021, 19:03 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Introduction to Visual Studio and C#: An Introduction to Object-Oriented Programming
Автор: Еngr. Michаеl Dаvid
Издательство: Independently published
Год: 2021
Язык: английский
Формат: pdf (true), azw3, mobi, epub
Размер: 10.1 MB
In this Book we will use Visual Studio and C#. C# is the programming language, while Visual Studio is the development environment.
Microsoft Visual Studio is an integrated development environment (IDE) from Microsoft. It can be used to develop console and graphical user interface applications along with Windows Forms applications, web sites, web applications, and web services in both native code together with managed code for all platforms supported by Microsoft Windows, Windows Phone, Windows CE, .NET Framework, .NET Compact Framework and Microsoft Silverlight. | |
Разместил: Ingvar16 31-01-2021, 18:43 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Rust Programming: Rust Programming Foundations, 3nd edition
Автор: Claudia Alves, Rufus Stewart
Издательство: Memlnc
Год: 2021.01.24
Страниц: 336
Язык: английский
Формат: pdf, azw3, rtf, epub
Размер: 10.1 MB
After reading this book, you'll be ready to build Rust applications! Rust is a statically and strongly typed systems programming language. statically means that all types are known at compile-time, strongly means that these types are designed to make it harder to write incorrect programs. A successful compilation means you have a much better guarantee of correctness than with a cowboy language like C. systems means generating the best possible machine code with full control of memory use. So the uses are pretty hardcore: operating systems, device drivers and embedded systems that might not even have an operating system. However, it's actually a very pleasant language to write normal application code in as well. | |
Разместил: Ingvar16 31-01-2021, 16:46 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: SPSS Statistics For Dummies, 4th Edition
Автор: Jesus Salcedo, Keith McCormick
Издательство: Wiley
Год: 2020
Формат: true pdf, epub
Страниц: 480
Размер: 46.8 Mb, 24.2 Mb
Язык: English
DESCRIPTION
The fun and friendly guide to mastering IBM’s Statistical Package for the Social Sciences
Written by an author team with a combined 45 years of experience using SPSS, this updated guide takes the guesswork out of the subject and helps you get the most out of using the leader in predictive analysis. | |
Разместил: bomboane 31-01-2021, 12:10 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Introduction to Python for Engineers and Scientists: Open Source Solutions for Numerical Computation
Автор: Sandeep Nagar
Издательство: Apress
Год: 2018
Страниц: 254
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English
Familiarize yourself with the basics of Python for engineering and scientific computations using this concise, practical tutorial that is focused on writing code to learn concepts. Introduction to Python is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation. | |
Разместил: bomboane 31-01-2021, 10:42 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Модели, методы, алгоритмы и программные решения вычислительных машин, комплексов и систем
Автор: Веретехина С. В. , Симонов В. Л. , Мнацаканян О. Л.
Издательство: Директ-Медиа
Год: 2021
Формат: PDF
Страниц: 307
Размер: 10 Mb
Язык: Русский
Учебник предназначен для изучения принципов работы микроЭВМ IBM на основе микропроцессоров, логического программирования, программирования микроконтроллерной базы на основе платформы Arduino. Раздел лабораторных работ содержит описание создания дополненной реальности в конструкторе (AR) ELIGOVISION TOOLBOX (EV TOOLBOX). В учебнике проводится ознакомление с интеллектуальными системами и технологиями в инженерии знаний. Описано моделирование работ с основными объектами, процессами и явлениями, связанными с интеллектуальными информационными системами и использованием методов их научного исследования. Дополнительно прилагаются практические задания и методы их решения с использованием алгоритмов Дейкстры, Флойда — Уоршелла, Хаффмана. | |
Разместил: vitvikvas 31-01-2021, 07:02 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
