Søgning på underkategorier- og emner:
The purpose of this text is to introduce a set of Petri-net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems. several implementation examples are included.
ICL was formed in response to the increasing market dominance of the large American corporations, particularly IBM. This account traces the business, product, and... Læs mere
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Want to get better at coding Elixir? Write a hardware project with Nerves. As you build this binary clock, you'll build in resiliency using OTP, the same libraries powering many commercial phone switches. You'll attack complexity the way the experts do, using a layered approach.
Learn how to set up the Raspberry Pi 3, then get to know the Raspbian operating system and how to customize it. Create your own computer programs with Scratch, and windowed apps with Tkinter. The new GPIO interface and the new NOOBS installer are also described
This book provides a new treatment of computer system design, particularly for System-on-Chip (SOC). It introduces the fundamental technologies that form the basic material necessary to understand and to start analyzing and developing SOC solutions.
Key Features: * Fully illustrated * Hands-on teaching style * Step-by-step instructions Written for readers with intermediate JavaScript and Node.js skills. No experience with embedded systems or robotics required.