Название: Logics for Computer Science: Classical and Non-Classical Автор: Anita Wasilewska Издательство: Springer Год: 2018 Страниц: 535 Формат: PDF Размер: 10 Mb Язык: English
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.
Название: DevOps on the Microsoft Stack Автор: Wouter de Kort Издательство: Apress Год: 2016 Формат: PDF Страниц: 288 Для сайта:litmy.ru Размер: 16 Mb Язык: English This book tells you everything you need to know to help your organization implement DevOps on the Microsoft platform. You will learn how to use Visual Studio, Visual Studio Team Services, and Azure to implement a complete DevOps process in your company. You will learn about Agile Project Management, Continuous Integration, Continuous Delivery, Technical Debt Management, Automatic Testing and Monitoring, and see how all these areas fit together.
DevOps is important for organizations that want to make the best use of their resources and avoid costly mistakes. Teams that embrace DevOps deploy code up to 30 times more frequently than their competition and less than 50% of their deployments fail according to Puppet Labs State of DevOps survey.
Название: Programming in Haskell Автор: Graham Hutton Издательство: Cambridge University Press Год: 2007 Формат: PDF Страниц: 184 Для сайта:litmy.ru Размер: 8 Mb Язык: English Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. This introduction is ideal for beginners: it requires no previous programming experience and all concepts are explained from first principles via carefully chosen examples. Each chapter includes exercises that range from the straightforward to extended projects, plus suggestions for further reading on more advanced topics. The author is a leading Haskell researcher and instructor, well-known for his teaching skills. The presentation is clear and simple, and benefits from having been refined and class-tested over several years. The result is a text that can be used with courses, or for self-learning. Features include freely accessible Powerpoint slides for each chapter, solutions to exercises and examination questions (with solutions) available to instructors, and a downloadable code that's fully compliant with the latest Haskell release.
Название: Professional Assembly Language Автор: Richard Blum Издательство: Wiley Publishing, Inc. Год: 2005 Формат: PDF Страниц: 577 Размер: 11,6 МБ Язык: English
Unlike high-level languages such as Java and C++, assembly language is much closer to the machine code that actually runs computers; it's used to create programs or modules that are very fast and efficient, as well as in hacking exploits and reverse engineering. Covering assembly language in the Pentium microprocessor environment, this code-intensive guide shows programmers how to create stand-alone assembly language programs as well as how to incorporate assembly language libraries or routines into existing high-level applications.
Название: Modern X86 Assembly Language Programming: 32-bit, 64-bit, SSE, and AVX Автор: Daniel Kusswurm Издательство: Apress Год: 2014 Формат: PDF Страниц: 685 Размер: 10,7 МБ Язык: English
Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform.
Название: Agile Office 365: Successful Project Delivery Practices for an Evolving Platform Автор: Haniel Croitoru Издательство: Apress Год: 2018 Страниц: 278 Формат: PDF Размер: 10 Mb Язык: English
Plan, deploy, and run Office 365 using an agile project management approach. This soup-to-nuts guide teaches you how to apply agile techniques in order to make your Office 365 implementation a success, even as the Microsoft Office 365 platform continues to evolve and introduce new features.
Название: Pro Microsoft Hyper-V 2019: Practical Guidance and Hands-On Labs Автор: Andy Syrewicze (Author), Richard Siddaway Издательство: Apress Год: 2018 Страниц: 388 Формат: PDF Размер: 10 Mb Язык: English
Successfully create and manage your Hyper-V environment without any of the marketing fluff. This book's lab-driven, hands-on approach will get you up and running as quickly and efficiently as possible.
Название: Cybersecurity Test and Evaluation Guidebook 2.0 Автор: Department of Defense Издательство: Independently published Год: 2018 Страниц: 134 Формат: PDF Размер: 10 Mb Язык: English
The purpose of this updated guidebook is to promote data-driven mission-impact-based analysis and assessment methods for cybersecurity test and evaluation (T&E) and to support assessment of cybersecurity, survivability, and resilience within a mission context by encouraging planning for tighter integration with traditional system T&E.
Название: Problem Solving in Data Structures & Algorithms Using C# Автор: Hemant Jain Издательство: CreateSpace Independent Publishing Platform Год: 2017 Страниц: 623 Формат: PDF, EPUB, AZW3 Размер: 17 Mb Язык: English
"Problem Solving in Data Structures & Algorithms" is a series of books about the usage of Data Structures and Algorithms in computer programming. The book is easy to follow and is written for interview preparation point of view. In various books, the examples are solved in various languages like C, C++, Java, C#, Python, VB, javascript and PHP.
Название: Data-oriented design: software engineering for limited resources and short schedules Автор: Mr Richard Fabian Издательство: Richard Fabian Год: 2018 Страниц: 307 Формат: PDF Размер: 10 Mb Язык: English
The projects tackled by the software development industry have grown in scale and complexity. Costs are increasing along with the number of developers. Power bills for distributed projects have reached the point where optimisations pay literal dividends. Over the last 10 years, a software development movement has gained traction, a movement founded in games development.
Разделы сайта
Авторизация
Реклама
