|
 |
|
 |
|
|
 |
|  |
|
 Название: Building High Integrity Applications with SPARK
Автор: John W. McCormick and Peter C. Chapin
Издательство: Cambridge University Press
Год: 2015
Формат: PDF, EPUB
Размер: 24 Мб
Язык: английский / English
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. | |
Разместил: bomboane 3-07-2020, 09:06 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Theory and Applications of Satisfiability Testing - SAT 2020
Автор: Luca Pulina and Martina Seidl
Издательство: Springer
Год: 2020
Формат: PDF
Размер: 26 Мб
Язык: английский / English
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. | |
Разместил: black 3-07-2020, 08:48 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Программирование драйверов для Windows
Автор: Комиссарова В.
Издательство: СПб.: БХВ-Петербург
Год: 2007
ISBN: 978-5-9775-0023-4
Серия: Профессиональное программирование
Формат: pdf
Страниц: 247
Размер: 52,3 Mb
Язык: Русский
Книга представляет собой практическое руководство по программированию драйверов для всей линейки операционных систем Windows NT, включая новую ОС Windows Vista. Разбираются важнейшие драйверные архитектуры — традиционная WDM и новая WDF. Излагаются основы теории программирования драйверов для многопроцессорных систем. | |
Разместил: oksanavalera 3-07-2020, 07:06 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Операционные системы. Разработка и реализация (+CD)
Автор: Таненбаум Э., Вудхалл А.
Издательство: СПб.: Питер
Год: 2007
ISBN: 978-5-469-01403-4
Формат: pdf
Страниц: 705
Размер: 55,2 Mb
Язык: Русский
Третье издание классического труда Эндрю Таненбаума «Operating Systems: Design and Implementation» — это единственный в своем роде учебник, в котором успешно сочетаются теория и практика построения операционных систем. | |
Разместил: oksanavalera 3-07-2020, 07:01 | Комментарии: 1 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Algorithms in C (Parts 1-4, Fundamentals, Data Structures, Sorting, Searching)
Автор: Robert Sedgewick
Издательство: Addison-Wesley
Год: 1998
Формат: djvu
Страниц: 702
Размер: 15 Мб
Язык: English
Robert Sedgewick has thoroughly rewritten and substantially expanded and updated his popular work to provide current and comprehensive coverage of important algorithms and data structures. Christopher Van Wyk and Sedgewick have developed new C++ implementations that both express the methods in a concise and direct manner, and also provide programmers with the practical means to test them on real applications. Many new algorithms are presented, and the explanations of each algorithm are much more detailed than in previous editions. | |
Разместил: Bookworm 2-07-2020, 20:41 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Image Operators. Image Processing in Python
Автор: Jason Kinser
Издательство: CRC Press
Год: 2018
Формат: pdf
Страниц: 365
Размер: 23 Мб
Язык: English
For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, the amount of coding required by a user has significantly lessened over the years. While the libraries for image analysis are coalescing to a common toolkit, the language of image analysis has remained stagnant. Often, textual descriptions of an analytical protocol consume far more real estate than does the computer code required to execute the processes. Furthermore, the textual explanations are sometimes vague or incomplete. This book offers a precise mathematical language for the field of image processing. | |
Разместил: Bookworm 2-07-2020, 16:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: GTK+ Programming in C
Автор: Logan Syd
Издательство: Prentice Hall PTR
Год: 2002
Формат: pdf
Страниц: 866
Размер: 28 Мб
Язык: English
Covering such topics as Gtk widgets, GLIB, and GDK, an authoritative reference guides users through the basics of developing GUI applications for the Gtk+ toolkit in a Linux/Unix environment. | |
Разместил: Bookworm 2-07-2020, 16:20 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Kotlin for Android App Development (Developer's Library)
Автор: Peter Sommerhoff
Издательство: Addison-Wesley Professional
Год: 2019
Формат: epub
Страниц: 434
Размер: 24.5 Mb
Язык: English
The Kotlin language brings state-of-the-art programming techniques and constructs to Android development. Kotlin for Android App Development will help you rapidly understand Kotlin’s principles and techniques, apply Kotlin in production app development, integrate Kotlin with existing Java code, and plan a migration to Kotlin, if you choose.
If you have at least basic programming experience (with any language), Peter Sommerhoff’s well-crafted overview and examples will help you get quickly up-to-speed with the Kotlin language, its constructs, and its advanced functional and object-oriented capabilities. | |
Разместил: bomboane 2-07-2020, 14:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Docker: Complete Guide To Docker For Beginners And Intermediates
Автор: Craig Berg
Издательство: Amazon.com Services LLC
Год: 2020
Страниц: 108
Язык: английский
Формат: pdf, azw3, epub
Размер: 17.8 MB
Have you ever desired to have an open source containerization platform that doesn’t just package applications into containers to be portable for systems running the Windows OS and Linux OS, but one that ensures they run in any environment or platform, and one that ensures that the container can have different applications installed on it to save time? If you’ve answered YES, keep reading… You Are about to Discover the Ins And Outs of Docker So You Can Start Using It with Confidence, Even If You’ve Never Used It Before! | |
Разместил: Ingvar16 2-07-2020, 13:26 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Visual Basic. NET для программистов
Автор: Атли К.
Издательство: М. ДМK Пресc
Год: 2002
Cтраниц: 304
Формат: pdf
Размер: 12 мб
Язык: русский
Книга посвящена языку Visual Basic. NET. Особое внимание уделяется отличиям новой версии от предыдущих, в том числе революционным для этого языка нововведениям: наследованию реализации, многопоточности, пространствам имен, новой интегрированной среде разработки Visual Studio. NET. Освещаются вопросы, связанные с применением новой технологии доступа к данным ADO. NET и технологии создания Web-приложений ASP. NET. Также не обойдены вниманием новые виды проектов, которые можно создавать на языке Visual Basic: NT-сервисы, Web-сервисы и консольные приложения. | |
Разместил: rivasss 2-07-2020, 11:28 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
