Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: Higher-Level Hardware Synthesis, Author: Richard Sharp
Title: C Programming for Arduino: Building your own electronic devices is fascinating fun and this book helps you enter the world of autonomous but connected devices. After an introduction to the Arduino board, you'll end up learning some skills to surprise your, Author: Julien Bayle
Title: The Quintessential PIC� Microcontroller, Author: Sid Katzen
Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings, Author: Henk Schepers
Title: Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings, Author: Isabelle Attali
Title: Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems: First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007, Author: Damien Sauveron
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: Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings, Author: Sunggu Lee
Title: Guide to RISC Processors: for Programmers and Engineers, Author: Sivarama P. Dandamudi
Title: Software Technologies for Embedded and Ubiquitous Systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers, Author: Tony Givargis
Title: SystemC: From the Ground Up, Author: David C. Black
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Author: Rajeev Alur
Title: Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22-27 August 2004 Toulouse, France, Author: Jean-Jacques Quisquater
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
Title: VHDL Coding Styles and Methodologies, Author: Ben Cohen
Title: Successful ASIC Design the First Time Through, Author: John Huber
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings, Author: Frank Mueller
Title: The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface, Author: Stuart Sutherland
Title: Digital Design with Verilog® HDL: (Formerly titled Hardware Modeling with Verilog HDL), Author: Elizer Sternheim

Pagination Links