Electronic Books

Total Books: 381 - 400 /421

System-Level Design Techniques for Energy-Efficient Embedded Systems

System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...

System-level Test and Validation of Hardware

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...

SystemC Kernel Extensions for Heterogeneous System Modeling

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...

SystemVerilog for Design

SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Taxonomies for the Development and Verification of Digital Systems

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

The Calculus of Computation

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...

The Calculus of Computation

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...

The Cambridge N-Body Lectures

Published under the auspices of the Royal Astronomical Society, this volume contains a set of extensive school tested lectures, ...

The Definitive Guide to Building Java Robots

The Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...

The Everyday Life of an Algorithm

This book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance ...

The International Space Station : Building for the Future

A comprehensive, highly readable account of complex, technical, political and human endeavor and a worthy successor to Creating ...

The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings

This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...

The Privacy Engineer’s Manifesto : Getting from Policy to Code to QA to Value

The authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...

The Quintessential PIC® Microcontroller

The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Total Books: 381 - 400 /421