Mainframes og minidatamater
-
Logic and Computation: Interactive Proof with Cambridge LCF (Bog, Paperback / softback, Engelsk)
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.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Build a Binary Clock with Elixir and Nerves: Use Layering to Produce Better Embedded Systems (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modern Mainframe Development: Cobol, Databases, and Next-Generation Approaches (Bog, Paperback / softback, Engelsk)Levering: 6 - 9 hverdage
-
Raspberry Pi 3 in Easy Steps (Bog, Paperback / softback, Engelsk)
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
Levering: 6 - 9 hverdage -
JavaScript on Things (Bog, Paperback / softback, Engelsk)
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.
Levering: 6 - 9 hverdage
