A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous…
Вторая книга автора нашумевших «Кровь, пот и пиксели», еще более мрачная и жизненная. Повествование скопоновывает в одну печальную картину непростые истории игровых разработчиков, столкнувшихся с неожиданными сокращениями, банкротствами студий и необходимостью переезжать каждые несколько лет в новый город ради очередного места работы. Развенчание иллюзий для всех, кто мечтает реализовывать свои пр…
НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ DOOM – это не просто игра. Это живая легенда. 25 лет назад она покорила десятки миллионов геймеров и изменила индустрию видеоигр навсегда. Как известно, за легендарными вещами всегда стоит не менее легендарна…
Take your Photoshop skills to the next level Users who already know Photoshop basics will love this colorful, step-by-step guide to new tricks and techniques. Filled with beyond-the-essentials techniques that show how to take your Photoshop skills to the next level, it is lavishly illustrated with beautiful photos that inspire you to experiment. Numbered, step-by-step instructions make the techniq…
The eagerly awaited Pattern-Oriented Software Architecture (POSA) Volume 4 is about a pattern language for distributed computing. The authors will guide you through the best practices and introduce you to key areas of building distributed software systems. POSA 4 connects many stand-alone patterns, pattern collections and pattern languages from the existing body of literature found in the POSA ser…
The eagerly awaited Pattern-Oriented Software Architecture (POSA) Volume 4 is about a pattern language for distributed computing. The authors will guide you through the best practices and introduce you to key areas of building distributed software systems. POSA 4 connects many stand-alone patterns, pattern collections and pattern languages from the existing body of literature found in the POSA ser…
The perfect guide to help visual learners maximize website discoverability Whether promoting yourself, your business, or your hobbies and interest, you want your website or blog to appear near the top when your customers search. Search engine optimization, or SEO, is increasingly essential to businesses. This full-color, step-by-step guide demonstrates key SEO concepts and practices in an easy-to-…
This book is insightful and thought-provoking for even the most seasoned SAP BW individual. —Richard M. Dunning, Chair, American SAP Users Group Written by the leading experts in the field, this comprehensive guide shows you how to implement the SAP Business Information Warehouse (BW) and create useful applications for business analysis of company-wide data. You'll quickly learn how to design, bui…
Combining coverage of both XSLT 2.0 and XPath 2.0, this book is the definitive reference to the final recommendation status versions of both specifications. The authors start by covering the concepts in XSLT and XPath, and then delve into elements, operators, expressions with syntax, usage, and examples. Some of the specific topics covered include XSLT processing model, stylesheet structure, seria…
About the Book This Official Study Guide for the CWTS exam features complete coverage of the exam objectives, as well as hands-on exercises, Real World Scenarios, chapter review questions, a detailed glossary, objective map, and a pre-assessment test. The enhanced CD includes two bonus exams, 150 flashcards, Case Studies, and demo software. Exam coverage includes: Wi-Fi Technology, Standards, and …
An illustrated, step-by-step guide to repairs and upgrades Whether you want to prepare your computer for Windows 7, avoid investing in a new one, or just «go green», this fully illustrated guide has what you need. You'll learn how to add printers and new keyboards, boost your PC's performance and increase memory, improve power consumption, rev up your multimedia capacity, and much more. Step-by-st…
The official study guide for the Certified Wireless Design Professional (CWDP) exam from CWNP! This official guide is what you need to prepare for the vendor-neutral CWDP exam (PW0-250), which tests an IT professional’s ability to design, plan, and troubleshoot a wireless network. Administered by CWNP, the industry leader for enterprise Wi-Fi training and certification, the CWDP exam is for those …
The only how-to guide offering a unified, systemic approach to acquiring, cleaning, and managing data in R Every experienced practitioner knows that preparing data for modeling is a painstaking, time-consuming process. Adding to the difficulty is that most modelers learn the steps involved in cleaning and managing data piecemeal, often on the fly, or they develop their own ad hoc methods. This boo…
Up the ante on your FirePOWER with Advanced FireSIGHT Administration exam prep Securing Cisco Networks with Sourcefire IPS Study Guide, Exam 500-285, provides 100% coverage of the FirePOWER with Advanced FireSIGHT Administration exam objectives. With clear and concise information regarding crucial next-generation network security topics, this comprehensive guide includes practical examples and ins…
Swift известен как язык разработки приложений, выбранный компанией Apple для iOS, iPadOS, macOS, watchOS и tvOS. Но этим его применение не ограничивается. Swift с открытым кодом набирает популярность как язык системного программирования и программирования на стороне сервера, его используют и в Linux, и в Windows. С чего же начать? «Head First. Изучаем Swift» охватывает все актуальные темы – от сбо…