Title: Piton: A Mechanically Verified Assembly-Level Language, Author: J Strother Moore
Title: Learn Raspberry Pi with Linux, Author: Peter Membrey
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: VHDL Coding Styles and Methodologies, Author: Ben Cohen
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Author: Rajeev Alur
Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings, Author: Henk Schepers
Title: Guide to RISC Processors: for Programmers and Engineers, Author: Sivarama P. Dandamudi
Title: Real-Time Software Design: A Guide for Microprocessor Systems, Author: HELLER
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
Title: Higher-Level Hardware Synthesis, Author: Richard Sharp
Title: i386/i486 Advanced Programming: Real Mode Protected Mode Virtual 8086 Mode, Author: Sen-cuo Ro
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
Title: Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008, Author: José A. Onieva
Title: The Quintessential PIC� Microcontroller, Author: Sid Katzen
Title: Effective Coding with VHDL: Principles and Best Practice, Author: Ricardo Jasinski
Title: Embedded Linux Development Using Eclipse, Author: Doug Abbott
Title: Arduino Cookbook: Recipes to Begin, Expand, and Enhance Your Projects, Author: Michael Margolis
Title: Programmable Logic Controllers, Author: William Bolton
Title: Real-Time Agility: The Harmony/ESW Method for Real-Time and Embedded Systems Development, Author: Bruce Douglass
Title: Programming 16-Bit PIC Microcontrollers in C: Learning to Fly the PIC 24, Author: Lucio Di Jasio

Pagination Links