Getting a jump on learning how coding makes technology work is essential to prepare kids for the future. Unfortunately, many parents, teachers, and mentors didn't learn the unique logic and language of coding in school. Helping Kids with Coding For Dummies comes to the...

• Get to grips with Docker Swarm, one of the key components of the Docker ecosystem.
• Optimize Swarm and SwarmKit features for scaling massive applications through containers.
• Learn about Docker’s scheduling tricks, high availability, security, and platform scalability.
...

Welcome to the special issue of the International Journal of High Speed Electronics and Systems on "High-Speed Mixed-Signal Integrated Circuits". Silicon, in particular MOS silicon, has rapidly become the de facto technology for mixed-signal integrated circuit design due to the high levels of integration possible as device...

“Peopleware has long been one of my two favorite books on software engineering. Its underlying strength is its base of immense real experience, much of it quantified. Many, many varied projects have been reflected on and distilled; but what we are given is not just lifeless distillate, but vivid examples from...

In 2000, I started my first PalmOS mobile app for an inventory-tracking project. The initial project was a full-staffed team effort that consisted of mobile developers, SAP consultants, supply-chain subject matter experts, middleware developers, QA testers, architects, business sponsors, and so forth. JavaME came up strong in 2002, followed...

When I was 10 years old, I purchased an introductory electronics book at a local pharmacy. I cherished this book because I knew it contained marvelous and fascinating knowledge about electronics—an awesome, mysterious, and exciting field that was to become the literal foundation of the next step in human progress. Unfortunately, after...

• This book provides code-intensive discussions with detailed recipes that help you understand better and learn faster.
• More than 50 hands-on recipes to create and administer a secure Linux system locally as well as on a network
• Enhance file system security and local and remote...

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...